Download A small matter of programming: perspectives on end-user by Bonnie A. Nardi PDF

By Bonnie A. Nardi

A Small subject of Programming asks why it's been so tricky for finish clients to command programming strength and explores the issues of finish user-driven program improvement that needs to be solved to manage to pay for finish clients better computational power.Drawing on empirical examine on present finish consumer structures, A Small subject of Programming analyzes cognitive, social, and technical problems with finish consumer programming. specifically, it examines the significance of task-specific programming languages, visible program frameworks, and collaborative paintings practices for finish consumer computing, with the objective of aiding designers and programmers comprehend and higher fulfill the wishes of finish clients who wish the potential to create, customise, and expand their functions software.The rules within the e-book are in response to the author's examine on profitable finish person programming structures - spreadsheets and CAD platforms - in addition to different empirical study. Nardi concentrates on large matters in finish consumer programming, specially finish clients' strengths and difficulties, introducing instruments and methods as they're relating to higher-level person issues.Bonnie A. Nardi is a Member of the Technical employees at Hewlett Packard Laboratories.

Show description

Read or Download A small matter of programming: perspectives on end-user computing PDF

Similar programming languages books

Scenarios, Stories, Use Cases: Through the Systems Development Life-Cycle

This publication covers plenty of alternative ways that situations and person tales were utilized in a number of industries. i am partial to the method and so preferred the entire diverse viewpoints. The e-book does be afflicted by being written from a number of authors with various agendas, and you can now not locate whatever of price in all the chapters.

The Language of Machines: An Introduction to Computability and Formal Languages

An up to date, authoritative textual content for classes in idea of computability and languages. The authors redefine the construction blocks of automata idea via supplying a unmarried unified version encompassing all conventional forms of computing machines and "real international" digital pcs. This reformulation of computablity and formal language thought offers a framework for construction a physique of data.

Understanding Z: A Specification Language and its Formal Semantics

Via supplying a proper semantics for Z, this booklet justifies the declare that Z is an actual specification language, and offers a regular framework for realizing Z standards. It makes an in depth theoretical comparability among schemas, the Z build for breaking requisites into modules, and the analogous amenities in different languages corresponding to transparent and ASL.

Google Maps power tools for maximizing the API

Create customized functions with the Google Maps API that includes step by step examples, this functional source will get you begun programming the Google Maps API with JavaScript very quickly. find out how to embed maps on web content, annotate the embedded maps along with your facts, generate KML documents to shop and reuse your map info, and allow customer purposes to request spatial information via internet prone.

Extra info for A small matter of programming: perspectives on end-user computing

Example text

A proctype body consists of zero or more data declarations, and one or more statements. The semantics of statement execution is somewhat special in PROMELA, since it also doubles as the primary mechanism for enforcing process synchronizations. We have seen some of this in the last chapter, and we will return to it in more detail in the section on executability (p. 51). Process types are always declared globally. Data objects and message channels can be declared either globally, that is, outside all process type declarations, or locally, that is, within a process type declaration.

At this point, two types of criticism of the language we have discussed may legitimately be raised. The first is that the language is too permissive, making it too easy to encode dubious constructs, such as arbitrary goto jumps, and unrestricted access to global variables or message channels. Another valid criticism can be that the language is too restrictive, lacking many of the more salient features of implementation languages such as C. To counter the first criticism, it suffices to note that the purpose of this modeling language is not to prevent the construction of dubious constructs, but to allow the user to investigate them thoroughly with the help of formal verification.

In the next section we shall see that these structure type names can also be used as a field declarator in channel declarations. The mechanism for introducing user-defined types allows for an indirect way of declaring multidimensional arrays, even though PROMELA supports only one-dimensional arrays as first class objects. A two-dimensional array can be created, for instance, as follows: typedef Array { byte el[4] }; Array a[4]; [ Team LiB ] [ Team LiB ] Message Channels Message channels are used to model the exchange of data between processes.

Download PDF sample

Rated 4.76 of 5 – based on 21 votes