Abstract
We present the concept of an agenda. This concept represents process knowledge in the area of software development. An agenda consists of a list of steps to be performed when developing a software artifact. Each activity may have associated a schematic expression of the language in which the artifact is expressed and some validation conditions that help detect errors. Agendas provide methodological support to their users, make development knowledge explicit and thus comprehensible, and contribute to a standardization of software development activities and products.
Chapter PDF
Similar content being viewed by others
References
Y. Chemack. A statistical approach to the inspection checklist formal synthesis and improvement. IEEE TSE, 22 (12): 866–874, Dec. 1996.
D. Coleman, P. Arnold, St. Bodoff, Ch. Dollin, H. Gilchrist, F. Hayes, and P. Jeremaes. Object-Oriented Development: The Fusion Method. Prentice Hall, 1994.
J. Davies. Specification and Proof in Real-Time CSP. Cambridge Univ. Press, 1993.
ESPRESS. Engineering of safety-critical embedded systems. Project description: http: //www. first.gmd. de/espress.
E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns — Elements of Reusable Object-Oriented Software. Addison Wesley, Reading, 1995.
P. Garg and M. Jazayeri. Process-centered software engineering environments: A grand tour. In A. Fuggetta and A. Wolf, editors, Software Process, number 4 in Trends in Software, chapter 2, pp. 25–52. Wiley, 1996.
D. Gries. The Science of Programming. Springer-Verlag, 1981.
M. Heisel. Methodology and Machine Support for the Application of Formal Techniques in Software Engineering. Habilitation Thesis, TU Berlin, 1997.
M. Heisel and N. Lévy. Using LOTOS patterns to characterize architectural styles. In M. Bidoit and M. Dauchet, editors, Proceedings TAPSOFT’97, LNCS 1214, pp. 818832. Springer-Verlag, 1997.
M. Heisel, T. Santen, and D. Zimmermann. Tool support for formal software development: A generic architecture. In W. Schäfer and P. Botella, editors, Proc. 5th ESEC, LNCS 989, pp. 272–293. Springer-Verlag, 1995.
M. Heisel and C. Sill. Formal specification of safety-critical software with Z and real-time CSP. In E. Schoitsch, editor, Proceedings 15th SAFECOMP, pp. 31–45. Springer-Verlag London, 1996.
C. Heitmeyer, R. Jeffords, and B. Lebaw. Automated consistency checking of requirements specifications. ACM TOSEM, 5(3): 231–261, July 1996.
K. Huff. Software process modelling. In A. Fuggetta and A. Wolf, editors, Software Process, Trends in Software 4, chapter 2, pp. 1–24. Wiley, 1996.
L. Osterweil. Software processes are software too. In 9th ICSE, pp. 2–13. IEEE Computer Society Press, 1987.
C. Rich and R. C. Waters. The programmer’s apprentice: A research overview. IEEE Computer, pp. 1025, Nov. 1988.
M. Shaw and D. Garlan. Software Architecture. IEEE Press, 1996.
T. Shepard, S. Sibbald, and C. Wortley. A visual software process language. CACM, 35(4): 37–44, Apr. 1992.
D. R. Smith. KIDS: A semi-automatic program development system. IEEE TSE, 16(9): 1024–1043, Sept. 1990.
J. Souquières and M. Heisel. Expression of style in formal specification. In W. B. Samson, editor, Proc. Software Quality Conf. pp. 56–65, ISBN 1 899796 02 9, 1996. Univ. of Abertay Dundee.
J. Souquières and N. Lévy. Description of specification developments. In Proc. of Requirements Engineering ’83, pp. 216–223, 1993.
J. M. Spivey. The Z Notation -A Reference Manual. Prentice Hall, 1992.
D. S. Wile. Program developments: Formal explanations of implementations. CACM, 26(11): 902–911, Nov. 1983.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 IFIP
About this chapter
Cite this chapter
Heisel, M. (1998). Agendas — A concept to guide software development activities. In: Horspool, R.N. (eds) Systems Implementation 2000. IFIP Advances in Information and Communication Technology. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35350-0_2
Download citation
DOI: https://doi.org/10.1007/978-0-387-35350-0_2
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-5041-2873-5
Online ISBN: 978-0-387-35350-0
eBook Packages: Springer Book Archive