Proceedings

The Second Software Engineering Symposium was sponsored by ACM SIGSOFT, the IEEE Computer Society Technical Committees on Software Engineering and VLSI, and the National Bureau of Standards. Martha Branstad of the National Bureau of Standards and Marvin ...

This paper describes a set of freedoms which both simplify the task of specifing systems and make the resulting specification more comprehensible. These freedoms eliminate the need, in specific areas, to consider: the mechanisims for accomplishing ...

The transformational methodology for software development is adapted to perform rapid conversion of specifications into prototypes. This makes feasible testing of specifications to observe their behaviours and assuring that specifications can indeed be ...

Prototypes are built for a variety of reasons. This paper offers an alternative to the use of a prototype as a means of testing a specification (i.e. someone who "knows" what he wants compares his intuitive understanding with the behavior of the ...

Automatic programming as a strategy for developing rapid prototyping systems is an attractive alternative (although perhaps further in the future) to human-oriented methodologies and to executable specifications. In the case of some experimental ...

Rapid prototyping is especially effective when implementing interactive information management systems. With the right tools, the development process for these systems involves the generation of successive prototypes where each successor is closer to ...

This paper describes a software tool, called the Feature Simulator, that "executes" formally written requirements specifications for real-time systems and enables users to "interact" with the simulated product at the completion of the requirements ...

In this paper we discuss the use of a form of abstract specifications for software modules called trace axioms or trace assertions. Specifications written in this form precisely describe the external behavior of the module and can be automatically ...

This paper descibes briefly the facilities required of prototyping languages with particular reference to text-processing applications. A brief overview is given of the language ATOL, and a comparision is made of the facilities offered by ATOL and those ...

Prototypes provide a means for obtaining rapid feedback concerning the design of a system. Ideally, a prototype system should be easy to implement and modify; moreover, it should implement enough of the system's functionality to allow an evaluation of ...

This paper describes the experiences of the authors in the application of prototyping techniques to the development of programming languages with "advanced" features such as coroutines and abstract data types. The essence of the approach described here ...

Special-purpose languages have several advantages for rapid prototyping purposes: they allow very fast development of applications; facilitate the dialogue with end users in the specification work; and simplify the work of updating the prototype ...

A prototype electronic form system was implemented to test the feasibility of a high level form definition mechanism. This mechanism is based on the idea of abstract data types in programming languages. In this paper I will briefly discuss prototypes in ...

This paper describes the role of quick prototyping in the Secure Military Message Systems project. The issues that are being explored with quick prototyping are identified. To date, a small prototype message system written in Franz Lisp has been ...

The three major facets of software requirements engineering are: (1) requirements identification, (2) requirements analysis, and (3) requirements communication. Much research addresses the latter two aspects, but few practical approaches exist for ...

Rapid Prototyping is a software development methodology which can reduce development cost by aiding the requirements definition, design, and coding of a software system. PDS is an integrated programming environment which can support rapid prototyping. ...

A brief summary of current thinking about the programming process and programming support environments is followed by the presentation of an laternative viewpoint based on the concept of models. Examples of executable metric models and of the role they ...

The use of an explicit life cycle model for prototyping is argued for three major benefits: First, the discipline promotes correctness via the constructive approach as with production systems. Second, the levels of specification at which prototyping is ...

This paper introduces an application development methodology whereby interactive screen oriented applications are simulated in scenarios, and then prototyped. This methodology, termed "architecture-based", allows users and developers to quickly reach ...

Rapid prototypes are important tools to aid users in formulating their software requirements. The system sketch is a rapid prototype which shows the user the functions of the system he has specified.In this paper we present a system sketch produced by a ...

The aim of this paper is to describe HIBOL from the point of view of its suitability for fast prototyping of business data processing applications. This suitability stems basically from the fact that HIBOL (or its special editor) allows for a very ...

Reusable components or patterns of programming are used here as a means of generating prototypes. The challenge in identifying existing patterns was in striking a balance between a few patterns that are too flexible to really save programmer effort, and ...

Simplifying assumptions --- everyone uses them but no one's programming tool explicitly supports them. In programming, as in other kinds of engineering design, simplifying assumptions are an important method for dealing with complexity. Given a complex ...

This paper sets some context, raises issues, and provides our initial thinking on the characteristics of effective rapid prototyping techniques.After discussing the role rapid prototyping techniques can play in the software lifecycle, the paper looks at ...

If a design is viewed as a model of the eventual implementation, and if it is expressed in a well-defined design notation, it can be made executable and treated as a prototype which reflects whatever internal details are expressed in the design. However,...

To reduce the development time of small scale interactive software systems for research and clinical use in cardiology at UAB a display-oriented language was developed. Experience with this system has been very successful in early stabilization of the ...

The User Software Engineering methodology is a set of techniques, supported by automated tools (Unified Support Environment), to support the specification and implementation of interactive information systems. The methodology advocates construction of a ...