Speci ® cations in software prototyping 1

We explore the use of software speci®cations for software prototyping. This paper describes a process model for software prototyping, and shows how speci®cations can be used to support such a process via a cellular mobile phone switch example. Ó 1998 Elsevier Science Inc. All rights reserved.

[1]  Valdis Berzins,et al.  Recombining changes to software specifications , 1998, J. Syst. Softw..

[2]  Valdis Berzins,et al.  Software merge: Combining changes to decompositions , 1996, J. Syst. Integr..

[3]  Carl K. Chang,et al.  An object-oriented real-time distributed simulation of cellular phone switching system , 1993, 1993 IEEE International Symposium on Circuits and Systems.

[4]  Luqi,et al.  Compositional Semantics of a Real-Time Prototyping Language , 1993, IEEE Trans. Software Eng..

[5]  J. McDowell,et al.  CASE tool for reusable software component storage and retrieval in rapid prototyping , 1991 .

[6]  Friedrich L. Bauer,et al.  Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming , 1989, IEEE Trans. Software Eng..

[7]  Luqi,et al.  A Prototyping Language for Real-Time Software , 1988, IEEE Trans. Software Eng..

[8]  Barry W. Boehm,et al.  A spiral model of software development and enhancement , 1986, Computer.

[9]  Luqi,et al.  A computer-aided prototyping system , 1988, IEEE Software.

[10]  Christopher W. Pidgeon,et al.  TMM: Software Maintenance by Transformation , 1986, IEEE Software.

[11]  Udo Pletat.  Algebraic Specifications of Abstract Data Types and CCS: An Operational Junction , 1986, ADT.

[12]  Friedrich L. Bauer,et al.  The Munich Project CIP , 1988, Lecture Notes in Computer Science.

[13]  Stephen Fickas,et al.  Automating the Transformational Development of Software , 1985, IEEE Transactions on Software Engineering.

[14]  C. Green.  A Summary of the PSI Program Synthesis System , 1977, IJCAI.