4,951 papers · page 215 of 248
We emphasize the importance of formal executable specifications in the development of real-time systems, as a means to assess the adequacy of the requirements before a costly development process takes place.TRIO is a first order temporal logic language for executable specificatio…
This paper presents the tools ALDEBARAN, CESAR, CESAR.ADT and CLEOPATRE which constitute a tool- box for compiling and verifying LOTOS programs. The principles of these tools are described, as well as their performances and limitations. Finally, the formal verification of the ret…
Article Free Access Share on A general economics model of software reuse Authors: J. E. Gaffney View Profile , R. D. Cruickshank View Profile Authors Info & Claims ICSE '92: Proceedings of the 14th international conference on Software engineeringJune 1992Pages 327–337https://doi.…
Article Process programming by hindsight Share on Authors: Pankaj K. Garg View Profile , Sanjay Bhansali View Profile Authors Info & Claims ICSE '92: Proceedings of the 14th international conference on Software engineeringJune 1992 Pages 280–293https://doi.org/10.1145/143062.1431…
The process of developing and evolving complex software systems is intrinsically exploratory in nature.Some prototyping activity is therefore inevitable in every stage of that process.Our program development and evolution methodology is predicated upon this observation.In this me…
Article Free Access Share on Call path profiling Author: Robert J. Hall View Profile Authors Info & Claims ICSE '92: Proceedings of the 14th international conference on Software engineeringJune 1992 Pages 296–306https://doi.org/10.1145/143062.143147Published:01 June 1992Publicati…
Although there is much interest in creating libraries of well-designed, thoroughly-tested classes that can be confidently reused for many applications, few class testing techniques have been developed.In this paper, we present a class testing technique that exploits the hierarchi…
Article The use of program dependence graphs in software engineering Share on Authors: Susan Horwitz View Profile , Thomas Reps View Profile Authors Info & Claims ICSE '92: Proceedings of the 14th international conference on Software engineeringJune 1992 Pages 392–411https://doi.…
This paper describes a four-year experimental sof'ware reuse project conducted at Software Laboratories, Nippon Telegraph and Telephone.The targets of reuse are program code modules stored in a common library.The project is first described in detail; its framework, organizational…
Article High-pressure steam engines and computer software Share on Author: Nancy G. Leveson View Profile Authors Info & Claims ICSE '92: Proceedings of the 14th international conference on Software engineeringJune 1992 Pages 2–14https://doi.org/10.1145/143062.143076Published:01 J…
No abstract available.
Article Free Access Share on Object-oriented analysis for evolving systems Authors: Mitchell Lubars View Profile , Greg Meredith View Profile , Colin Potts View Profile , Charles Richter View Profile Authors Info & Claims ICSE '92: Proceedings of the 14th international conference…
The software industry is painfully realizing that a software reuse effor~if not carefully planned and properly carried out, oftentimes becomes an inhibitor rather than a catalyst to software productivity and quality.Despite numerous articles in the areas of domain analysis, compo…
An important software design activity is the decomposition of complex systems into conceptually independent modules that cooperate to achieve a desired result.This modularization represents a significant software engineering activity that continues to receive considerable researc…
Trace assertion specification methods constrain behaviour at the interface of a module by identifying legal sequences is its equivalent normal/canonical form.
The key topic is the way how the Merlin process-centered environment provides execution of rule-based persistent software processes.Any software process in Merlin is described by rules which are executed either in a forward chaining or backward chaining mode and which are made pe…
Article Free Access Share on Behavior sampling: a technique for automated retrieval of reusable components Authors: Andy Podgurski View Profile , Lynn Pierce View Profile Authors Info & Claims ICSE '92: Proceedings of the 14th international conference on Software engineeringJune …
Article Specification-based test oracles for reactive systems Share on Authors: Debra J. Richardson View Profile , Stephanie Leif Aha View Profile , T. Owen O'Malley View Profile Authors Info & Claims ICSE '92: Proceedings of the 14th international conference on Software engineer…
In this paper program visualization is defined as a mapping from programs to graphical representations. Simple forms of program visualization are frequently encountered in software engineering. For this reason current advances in program visualization are likely to influence futu…
This paper describes a formal approach for developing concurrent rule-based programs. Specification refinement is used to generate an initial version of the program. Program refinement is then applied to produce a highly concurrent and efficient version of the same program. Techn…