D. References

[Ada]

The Ada Language Reference Manual, ISO/IEC 8652:1995

[Ada83]

The Ada Language Reference Manual, ISO/IEC 8652:1987.

[Atkinson]

C. Atkinson, T. Moreton, A. Natali, Ada for Distributed Systems, Ada Companion Series, Cambridge University Press.

[Booch86]

G. Booch. "Object-Oriented Development", IEEE Transactions on Software Engineering, Vol SE12, February 1986.

[Booch87]

G. Booch, Software Engineering with Ada (second edition), Benjamin Cummings, 1987.

[Booch91]

G. Booch. Object Oriented Design with Applications. Benjamin Cummings, 1991.

[BSSC91]

Board for Software Standardization and Control (BSSC), ESA Software Engineering Standards, PSS-05-0, Issue 2, February 1991.

[Burns90]

A. Burns, A. Wellings, Real Time Systems and their Programming Languages, Addison-Wesley 1990.

[Burns94]

A. Burns and A. Wellings, "HRT-HOOD: A Design Method for Hard Real-time Systems", Real-Time Systems, Vol. 6 n\xfb 1, 1994.

[Burns95]

A. Burns and A. Wellings, HRT-HOOD: A Structured Design Method for Hard Real-Time Ada Systems, Elsevier, 1995.

[Burns96]

A. Burns, A. Wellings, Real-Time Systems and Programming Languages: 2nd Edition, Addison Wesley, 1996

[Canals97]

[A. Canals, J-C. Lloret: "Démarche de développement OMT-UML/HOOD", Actes des Journées HOOD, 2-3 June 1997, Labège, CNES 1997.

[CCITT89]

CCITT, Instruction for SDL Users, recommendation Z 100, Annex D, 1989.

[Coad91]

P. Coad, E. Yourdon, Object Oriented Design, Prentice Hall, 1991.

[Helm94]

E Helm, R. Johnson and J. Vlissides, Design Patterns: Elements of Reusable Object Oriented Software, Addison-Wesley 1994.

[Harel87]

D. Harel, "Statecharts: a visual formalism for complex systems.", Science of Computer Programming 8, 1987, pp 231-274.

[Heitz92]

M. Heitz, "Towards more formal developments through integration of behaviour expression notations and methods within HOOD developments", Proc. of 5th International Conference on Software Engineering, EC2, 1992.

[HRM3.1]

B. Delatte, M. Heitz, J-f. Muller / HOOD Technical Group, HOOD REFERENCE MANUAL 3.1, Masson and Prentice Hall 1993.

[HRM4]

"HOOD Reference manual", ftp://ftp.estec.esa.nl/pub/wm/wme/HOOD/HRM4.tar.gz. Currently not available in paper form.

[HUM96]

HUM/93-12/V3.1 HOOD3.1 User Manual.

[Klein93]

M. Klein, T. Ralya, B. Pollak, R. Obenza and M.G. Harbour, A Practitioners Handbook for Real-Time Analysis: Guide to Rate Monotonic Analysis for Real-Time Systems, Kluwer Academic Publishers, Norwell MA, 1993.

[Korson90].

T. Korson, J.d. McGregor, "Understanding Object Oriented: A Unifying Paradigm", Communications of the ACM, Sept. 1990, Vol 33 n\xfb 9.

[Mach85]

M. Galinier and A. Mathis. Guide du concepteur MACH. Thomson CSF-DSE & IGL Technology, 1985.

[Meyer88]

B. Meyer, Object Oriented Software Construction, Prentice Hall 1988.

[Miller56]

G. A. Miller. "The Magical Number Seven, Plus or Minus Two", The Psychological Review, vol.63, n\xfb 2, March 1956.

[Mottet91]

G. Mottet, J-C. Billaut, "Hierarchical Object-Oriented Design of a Syntactic Editor", Technology of Object-Oriented Languages and Systems, Vol. 4, Prentice Hall, 1991.

[Mullender89]

S. Mullender, Distributed Systems, ACM Press, Frontier Series, 1989.

[Oddel94]

J-J. Oddel, "Six Different Kinds Of Composition", Journal of Object-Oriented Programming, Vol 5, N\xfb 8.

[OMG91]

OMG group, The Common Object Request Broker: Architecture and Specification, OMG doc num 91.12.1, 1991.

[Parnas79]

D.L. Parnas, "Designing Software for Ease of Extension and Contraction", IEEE Transaction on Software Engineering Vol SE-5 N\xfb 2, March 1979.

[Reisig85]

W. REISIG, Petri nets: an Introduction, Springer Berlin 1985.

[Rosen95-1]

J-P. Rosen, "A Naming Convention for Classes in Ada95", Ada Letters, March-April 1995.

[Rosen95-2]

J-P. Rosen, Méthodes de Génie Logiciel avec Ada 95, InterEditions, 1995.

[Rumbaugh91]

J. Rumbaugh, M. Balha, W. Premerlani, F. Eddy, W. Lorensen, Object Oriented Modeling and Design, Prentice Hall, 1991.

[Schmidt94]

D. Schmidt, "ASX: An Object-Oriented Framework for Developing Distributed Applications", Proceedings of the 6th USENIX C++ Conference, Cambridge, MA, April 1994.

[[Seidewitz86]

E. Seidewitz and Stark, General Object Oriented Software Development, NASA, SEL Series-86-002.

[Shlaer92]

S. Shlaer And S.j. Mellor, Object Life-Cycles: modeling the world in States, Yourdon Press 1992.

[Sourouille95]

JL Sourouille, H. Lecoueche, "Integrating State in OO Concurrent Model", proceedings of TOOLS EUROPE 95, Prentice Hall 1995.

[Stroustrup91]

B. Stroustrup, The Annotated C++ Reference Manual, Addison-Wesley.

[UML]

http://www.rational.com/uml/references. No paper reference available.

[Vinoski95]

S. Vinoski, D. Schmidt, "Comparing Alternative Client_Side Distributed Programming Techniques", C++ Report, 1995 May/June 1995 issue.

[Wegner87]

P. Wegner, "Dimensions of object-based language design", Proceedings of OOPSLA, 1987.

[Wellings88]

A. Wellings "Distributed Execution - Units of partitioning", Proc. of International Workshop on Ada Real Time Issues. ACM Ada Letters Vol. 7, Fall 1988.