Software development by refinement

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2757, Issue , 2003, Pages 267-286

  Pavlovic, Dusko ^a   Smith, Douglas R ^a  

^a KESTREL INSTITUTE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

SPECIFICATIONS; TAXONOMIES;

ALGORITHM DESIGN; BEHAVIORAL MODEL; CURRENT DIRECTION; HIGH PERFORMANCE SCHEDULING; INDUSTRIAL SETTINGS; PROPERTY-ORIENTED SPECIFICATION; SOFTWARE DESIGN THEORIES; SPECIFICATION AND REFINEMENT;

SOFTWARE DESIGN;

EID: 35148833558     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-40007-3_17     Document Type: Article

References (20)

1. BECKER, M., AND SMITH, D. R. Planware: Synthesis of resource allocation algorithms. Tech. rep., Kestrel Institute, 2002.
2. BLAINE, L., GILHAM, L., LIU, J., SMITH, D., AND WESTFOLD, S. Planware - domain-specific synthesis of high-performance schedulers. In Proceedings of the Thirteenth Automated Software Engineering Conference (October 1998), IEEE Computer Society Press, pp. 270-280.
3. BURSTALL, R. M., AND GOGUEN, J. A. The semantics of clear, a specification languge. In Proceedings, 1979 Copenhagen Winter School on Abstract Software Specification, D. Bjorner, Ed. Springer LNCS 86, 1980.
4. BURSTEIN, M., MCDERMOTT, D., SMITH, D., AND WESTFOLD, S. Formal derivation of agent interoperation code. Journal of Autonomous Agents and Multi-Agent Systems (2001).
5. (earlier version in Proceedings of the Agents 2000 Conference, Barcelona, Spain, 2000).
6. GOGUEN, J. A. Categorical foundations for general systems theory. In Advances in Cybernetics and Systems Research, F. Pichler and R. Trappl, Eds. Transcripta Books, 1973, pp. 121-130.
7. GUREVICH, Y. Evolving algebra 1993: Lipari guide. In Specification and Validation Methods, E. Boerger, Ed. Oxford University Press, 1995, pp. 9-36.
8. J.L.FIADEIRO, LOPES, A., AND T.MAIBAUM. Synthesising interconnections. In Algorithmic Languages and Calculi (London, 1997), R. Bird and L. Meertens, Eds., Chapman & Hall, pp. 240-264.
9. KUTTER, P. W. State transitions modeled as refinements. Tech. Rep. KES.U.96.6, Kestrel Institute, August 1996.
10. MESEGUER, J. General logics. In Logic Colloquium 87, H. Ebbinghaus, Ed. North Holland, Amsterdam, 1989, pp. 275-329.
11. PAVLOVIC, D. Semantics of first order parametric specifications. In Formal Methods '99 (1999), J. Woodcock and J. Wing, Eds., vol. 1708 of Lecture Notes in Computer Science, Springer Verlag, pp. 155-172.
12. PAVLOVIC, D., AND SMITH, D. R. Composition and refinement of behavioral specifications. In Proceedings of Sixteenth International Conference on Automated Software Engineering (2001), IEEE Computer Society Press, pp. 157-165.
13. PAVLOVIC, D., AND SMITH, D. R. System construction via evolving specifications. In Complex and Dynamic Systems Architectures (CDSA 2001) (2001).
14. SHAW, M., AND GARLAN, D. Software Architecture: Perspectives on an Emerging Discipline. Prentice-Hall, NJ, 1996.
15. SMITH, D. R. Constructing specification morphisms. Journal of Symbolic Computation, Special Issue on Automatic Programming 15, 5-6 (May-June 1993), 571-606.
16. SMITH, D. R. Toward a classification approach to design. In Proceedings of the Fifth International Conference on Algebraic Methodology and Software Technology, AMAST'96 (1996), vol. LNCS 1101, Springer-Verlag, pp. 62-84.
17. SMITH, D. R. Mechanizing the development of software. In Calculational System Design, Proceedings of the NATO Advanced Study Institute, M. Broy and R. Steinbrueggen, Eds. IOS Press, Amsterdam, 1999, pp. 251-292.
18. SMITH, D. R. Harbinger: Formal development of embedded systems. Tech. rep., Kestrel Institute, 2002.
19. SRINIVAS, Y. V., AND JÜLLIG, R. Specware: Formal support for composing software. In Proceedings of the Conference on Mathematics of Program Construction, B. Moeller, Ed. LNCS 947, Springer-Verlag, Berlin, 1995, pp. 399-422.
20. WIDMAIER, J., SCHMIDTS, C., AND HUANG, X. Producing more reliable software: Mature software engineering process vs. state-of-the-art technology? In Proceedings of the International Conference on Software Engineering 2000 (Limerick, Ireland, 2000), ACM, pp. 87-92.