Bibliography

References

[1]     Abadi, M. and Lamport, L. (1988). The Existence of Refinement Mappings. Digital Systems Research Center Open Report, Palo Alto, CA

[2]     Aggarwal, S., Barbara, D., Cunto, W. and Garey, M. R. (1989). The Complexity of Collapsing Reachability Graphs. Automatic Verification Methods for Finite State Systems, Grenoble, France June 1989, Pages: 264-274, Springer-Verlag LNCS 407 0-387-52148-8

[3]     Agha, G. (1990). Concurrent Object Oriented Programming

[4]     Aho, A., Sethi, R. and Ullman, J. D. (1986). Compilers. Principles, Techniques and Tools. Reading, Massachusetts, Addison-Wesley 0-201-10088-6

[5]     Algayres, B., Lejeune, Y., Hugonnet, F. and Hantz, F. (1993). The AVALON-Project: A VALidatiON Environment for SDL/MSC Descriptions. SDL '93 Using Objects. Proceedings of the Sixth SDL Forum, Darmstadt, Germany October 12th - 16th 1993, Pages: 221-235, North Holland 0-444-81486-8

[6]     American Heritage Dictionary (1979). American Heritage Dictionary of the English Language. Boston, American Heritage Publishing Co. Inc. and Houghton Mifflin Company

[7]     Andersen, E. S. (1989). Systemutvikling. Oslo, NKI Forlaget 82-562-1958-0

[8]     Ando, T., Ohta, M. and Takahashi, K. (1991). Translation from SDL to LOTOS. SDL´91 Evolving Methods. Proceedings of the Fifth SDL Forum, Glasgow, October 1991, North Holland: Elsevier

[9]     Baeten, J. C. M. and Mauw, S. (1994). Delayed choice: an operator for joining Message Sequence Charts. FORTE 94, Bern, Switzerland, October 1994

[10]   Baeten, J. C. M. and Weijland, W. P. (1990). Process Algebra. Cambridge, Cambridge University Press 18

[11]   Barringer, H. (1985). A Survey of Verification Techniques for Parallel Programs. Berlin, Springer-Verlag LNCS 191 3-540-15239-3

[12]   Belina, F., Hogrefe, D. and Sarma, A. (1991). SDL with Applications from Protocol Specification. Hemel Hempstead:, Prentice Hall

[13]   Birtwistle, G. M., Dahl, O.-J., Myhrhaug, B. and Nygaard, K. (1975). SIMULA BEGIN. New York, Petrocelli/Charter

[14]   Bjørner, D., Broy, M. and Pottosin, I. V., Eds. (1993). Formal methods in programming and their applications. Academgorodok, Novosibirsk, Russia, Springer Verlag LNCS 735 3-540-57316-x

[15]   Boehm, B. W. (1981). Software Engineering Economics. Englewood Cliffs:, Prentice Hall

[16]   Boehm, B. W. (1986). "A Spiral Model of Software Development and Enhancement." ACM SIGSOFT Software Engineering Notes 11(4)

[17]   Boehm, B. W. (1987). "Improving Software productivity." IEEE Computer (September 1987)

[18]   Bolognesi, T. and Brinksma, E. (1987). "Introduction to the ISO Specification Language LOTOS." computer Networks and ISDN Systems 14 25-59

[19]   Booch, G. (1991). Object-Oriented Design with Applications. Redwood City, Benjamin/Cummins

[20]   Booch, G. (1993). Object-Oriented Analysis and Design with Applications. Second Edition. Addison Wesley Longman, Reading, Mass. 0-8053-5340-2

[21]   Booch, G., Jacobsen, I. and Rumbaugh, J. (1997a). The Unified Modeling Language , Version 1.0, Rational Software Corporation, http://www.rational.com (January 1997)

[22]   Booch, G., Rumbaugh, J. and Jacobsen, I. (1998). Unified Modeling Language User Guide. Addison Wesley Longman, Reading Mass. 0-201-57168-4 (October 1998)

[23]   Bowen, J. and Hinchey, M. G. (1994). "Formal methods and safety-critical standards." Computer (August 1994) 68-71

[24]   Bræk, R. and Haugen, Ø. (1993). Engineering Real Time Systems. Hemel Hempstead, Prentice Hall International 0-13-034448-6

[25]   Bræk, R., Gorman, J., Haugen, Ø., Melby, G., Møller-Pedersen, B. and Sanders R. (1993). Quality by construction exemplified by TIMe - The Integrated Methodology, Teletronikk, Vol 95 (1) ISSN 0085-7130 pp 73-82, 1999

[26]   Brinch Hansen, P. (1973). Operating System Principles. Englewood Cliffs, New Jersey, Prentice-Hall 0-13-637843-9

[27]   Brooks, F. P. J. (1987). "No silver Bullet. Essence and Accidents of Software Engineering." IEEE Computer April 1987

[28]   Brookshear, J. G. (1989). Theory of Computation. Formal Languages, Automata, and Complexity. Redwood City, California, The Benjamin/Cummings Publishing Company, Inc. 0-8053-0143-7

[29]   Broy, Dederichs, Dendorfer, Fuchs, Gritzner and Weber (1993). The design of Distributed Systems. An Introduction to FOCUS. Technische Universität München

[30]   Broy, M. (1987). "Semantics of Finite and Infinite Networks of Concurrent Communicating Agents." Distributed Computing 2(1) 13-31

[31]   Broy, M. (1991). "Towards a Formal Foundation of the Specification and Description Language SDL." Formal Aspects of Computing 3(1) 21-57

[32]   Broy, M. (1993). (Inter-)Action Refinement: The Easy Way. Program Design Calculi Ed. M. Broy. Springer. NATO ASI Series, Series F: Computer and System Sciences 118

[33]   Carroll, J. and Long, D. (1989). Theory of finite automata with an introduction to formal languages. London, Prentice-Hall International, Inc. 0-13-913815-3

[34]   CCITT (1988) Z.100 CCITT Specification and Description Language, ITU ("SDL-88")

[35]   CCITT (1988) Z.100 Annex D SDL User Guidelines, ITU ("SDL-88")

[36]   CCITT (1993) Z.200 CCITT High Level Language (CHILL) Recommendation Z200, ITU

[37]   Chaves, J. A. (1993). Formal Methods at AT&T - An Industrial Usage Report. AT&T Bell Labs Naperville, Illinois 60566

[38]   Clark, E. M., Emerson, E. A. and Sistla, A. P. (1983). Automatic verification of finite state concurrent systems using temporal logic specifications. 10th ACM Symposium on Principles of Programming Languages, Austin, Texas January 24-26, 1983, Pages: 117-126, ACM

[39]   Coad, P., Yourdon, E. (1990). Object-Oriented Analysis. Englewood Cliffs, Prentice Hall

[40]   Collins (1986). The Collins Paperback English Dictionary . William Collins Sons & Co.

[41]   Combes, P., Pickin, S., Renard, B. and Olsen, F. (1995). MSCs to express Service Requirements as Properties on an SDL Model: Application to Service Interaction Detection. SDL'95 with MSC in CASE. Proceedings of the Seventh SDL Forum, Oslo, Norway 26.-29. Sept. 1995, North-Holland

[42]   Craigen, D., Gerhart, S. and Ralston, T. (1993). An International Survey of Industrial Applications of Formal Methods. U.S. Department of Commerce, Technology Administration, National Institute of Standards and Technology, Computer Systems Laboratory NISTGCR 93/626, Gaithersburg, MD 20899

[43]   Dahl, O.-J. (1992). Verifiable Programming. Hemel Hempstead, UK, Prentice Hall International 0-13-951062-1

[44]   de Man, J. (1993). Towards a Formal Semantics of Message Sequence Charts. SDL '93. Using Objects. SDL Forum 1993, Darmstadt October 1993, Pages: 157-166, North Holland. Elsevier 0-444-81486-8

[45]   de Roever, W.-P. (1992). Why Formal Methods is a Must for Real-Time System Specification. Oslo, University of Oslo

[46]   Dean, H. (1991). "Object-oriented design using message flow composition." JOOP (May 1991)

[47]   DeMarco, T. (1979). Structured Analysis and Systems Specification. Englewood Cliffs, Prentice Hall

[48]   Dershowitz, N. and Jouannaud, J.-P. (1990). Rewrite Systems. Handbook of Theoretical Computer Science. Formal Models and Semantics Ed. J. van Leeuwen. Amsterdam, Elsevier. Vol. B 243-320

[49]   Dijkstra, E. W. (1968). Cooperating Sequential Processes. Programming Languages Ed. F. Genuys. New York, Academic Press

[50]   Dijkstra, E. W. (1972). Notes on Structured Programming. Structured Programming Eds. O.-J. Dahl, E. W. Dijkstra and C. A. R. Hoare. London and New York, Academic Press

[51]   Douglass, B., P. (199). Real-time UML: Developing Efficient Objects for Embedded Systems, AddisonWesley Longman, Reading Mass. 0-201-32579-9 (December 1997)

[52]   Duke, R., Rose, G. and Lee, A. (1990). Object-Oriented Protocol Specification. Protocol Specification Testing and Verification X, Pages: 325 - 338, Elsevier Science Publishers B.V., North Holland X

[53]   Dyer, M. (1992). The Cleanroom Approach to Quality Software Engineering. John Wiley & Sons

[54]   Ehrig, H., Frey, W. and Hansen, H. (1983). ACT ONE: An Algebraic Specification Language with Two Levels of Semantics. Technishe Universität Berlin, Bericht Nr. 83-03, Berlin

[55]   Ek, A. (1993). Verifying Message Sequence Charts with the SDT Validator. SDL '93 Using Objects. Proceedings of the Sixth SDL Forum, Darmstadt, Germany October 12th - 16th 1993, Pages: 237-249, North Holland 0-444-81486-8

[56]   Ellis and Stroustrup, B. (1990). The Annotated C++ Reference Manual. Addison-Wesley

[57]   Ellsberger, J., Hogrefe, D. and Sarma, A. (1997) SDL. Formal Object-oriented Language for Communicating Systems. Prentice Hall, Hemel Hempstead 0-13-621384-7

[58]   Encontre, V. (1993). MSC extensions/restrictions. Reference Manual - GEODE Simulator . Toulouse, France, Verilog. 6-1 - 6-28

[59]   ETSI (1994), Methods for Testing and Specification (MTS); Methodologies for Standards Engineering - Specification of Protocols and Service , WD 1 in Q6 on Methodology at ITU-TS Geneva Oct. 19.-27. 1994

[60]   Fowler, M. with Scott, K. (1997). UML Distilled: Applying the Standard Object Modeling Language. Addison Wesley Longman, Reading Mass. 0-201-32563-2 (May 1997)

[61]   Færgemand, O. and M.M., M., Eds. (1989). SDL´89 The Language at Work. Proceedings of the Fourth SDL Forum, Lisbon, October 1989. Lisbon, North Holland: Elsevier

[62]   Færgemand, O. and Reed, R., Eds. (1991). SDL´91 Evolving Methods. Proceedings of the Fifth SDL Forum, Glasgow, October 1991. Glasgow, North Holland: Elsevier

[63]   Færgemand, O. and Sarma, A., Eds. (1993). SDL '93. Using Objects. SDL Forum 1993. Darmstadt, North Holland. Elsevier 0-444-81486-8

[64]   Fagan, M. E. (1976). "Design and Code Inspections to Reduce Errors In Program Development." IBM Systems Journal 15

[65]   Freedman, D. P. and Weinberg, G. M. (1982). Handbook of Walkthroughs, Inspections, and Technical Reviews. Evaluating Program, Projects and Products. Third Edition. Boston, Little, Brown and Company 0-316-292826

[66]   Gamme, E., Helm, R., Johnson, R. and Vlissides, J. (1995). Design Patters: Elements of Reusable Object-Oriented Software . Addison-Wesley, 0-201-63361-2

[67]   Gilb, T. and Graham, D. (1993). Software Inspection. Wokingham, Addison-Wesley 0-201-63181-4

[68]   Godskesen, J. C. (1991). An Operational Semantic Model for Basic SDL Extended Abstract. SDL´91 Evolving Methods. Proceedings of the Fifth SDL Forum, Glasgow, October 1991, Glasgow October 1991, North Holland: Elsevier

[69]   Grabowski, J. (1994). Test Case Generation and Test Case Specification with Message Sequence Charts. Inaugural dissertation, Institut für Informatik und angewandte Mathematik, Universität Bern

[70]   Grabowski, J. and Rudolph, E. (1989). Putting Extended Sequence Charts to Practice. SDL '89 - The Language at Work. SDL Forum 1989, Lisbon, October 1989, North-Holland

[71]   Grabowski, J. and Rudolph, E. (1992). Message Sequence Chart (MSC) - A Survey of the new CCITT Language for the Description of Traces within Communication Systems

[72]   Grady, R. B. and Caswell, D. L. (1987). Software Metrics: Establishing a Company-wide Program, Prentice-Hall 0-13-821844-7

[73]   Grasmani, M. and Medvedis, I. (1991). Approach to Behavior Specification and Automated Test Generation for Telephone Exchange Systems. SDL´91 Evolving Methods. Proceedings of the Fifth SDL Forum, Glasgow, October 1991, Glasgow October 1991, North Holland: Elsevier

[74]   Graubmann, P., Rudolph, E. and Grabowski, J. (1993). Towards a Petri Net Based Semantics Definition for Message Sequence Charts. SDL '93. Using Objects. SDL Forum 1993, Darmstadt October 1993, Pages: 179-190, North Holland. Elsevier 0-444-8148-8

[75]   Guttag, J. V. and Horning, J. J. (1978). "The Algebraic Specification of Abstract Data Types. Acta Informatica 10

[76]   Harel, D. (1987). Statecharts: A visual formalism for complex systems. Scientific Computing Programming 8(3) 231 - 274

[77]   Hatley, D. J. and Pirbhai, I. A. (1987). Strategies for Real-Time System Specification, Dorset House Publishing, New York 0-932633-04-8

[78]   Haugen, O. (1980). Hierarchies in Programming and System Description. Master Thesis, University of Oslo

[79]   Haugen, O. (1996). Special issue on SDL and MSC. CN&ISDN (June 1996)

[80]   Haugen, Ø. (1991). Applying Object-Oriented SDL. Fifth SDL Forum, Glasgow, UK 29. September - 4. October 1991

[81]   Haugen, Ø. (1992). Formal Description Techniques. ABB Corporate Research Computer Science Conference, Copenhagen, Denmark November 16th-17th 1992

[82]   Haugen, Ø. (1994). MSC Methodology. SISU Report L-1313-7, Oslo, www.sintef.no/sisu

[83]   Haugen, Ø. (1995). Using MSC-92 Effectively. SDL'95 with MSC in CASE. Proceedings of the Seventh SDL Forum, Oslo, Norway 26.-29. Sept. 1995, North-Holland, Elsevier

[84]   Haugen, O. (1997a). Practitioners' verification of SDL systems, Dr Scient Thesis, University of Oslo (April 1997) 82-7368-166-1

[85]   Haugen, Ø. (1997b). The MSC-96 Distillery. SDL'97 Time for Testing - SDL, MSC and Trends. Proceedings of the Eighth SDL Forum, Evry, France 23-26 Sept. 1997, Elsevier 0-444-82816-8

[86]   Haugen, Ø., Bræk, R. and Melby, G. (1992). The SISU project. 2nd RACE Telecommunications Software Engineering Symposium, Paris, France 18th-19th November 1992

[87]   Haugen, Ø., Stenhaug, U., Trettenes, N., Åsen, H. K. and Jarfonn, D. (1994). Walkthrough as a means for V&V. SISU Report L-1313-5, Oslo, www.sintef.no/sisu

[88]   Haugen, Ø., Trettenes, N., Åsen, H. K. and Jarfonn, D. (1994). Formalizing Requirements. SISU Note L-1313-2, Oslo, www.sintef.no/sisu

[89]   Haugen, O. e., Spurkland, S., Dahll, G. and Juul-Wedde, K. (1993). Verification and Validation in Industrial Perspective. SISU SISU report L-1301-1, Oslo, www.sintef.no/sisu

[90]   Hayes, I. e. (1987). Specification Case Studies. London, Prentice-Hall International 0-13-826579-8

[91]   He, J., Hoare, C. A. R., Fränzle, M., Müller-Olm, M., Olderog, E.-R., Schenke, M., et al. (1995). Provable Correct Systems. Oxford report by FTP

[92]   Hoare, C. A. R. (1969). "An axiomatic Approach to Computer Programming." Communication of the ACM 12 576-580

[93]   Hoare, C. A. R. (1985). Communicating Sequential Processes. Hemel Hempstead, Prentice Hall International 0-13-153271-5

[94]   Holzmann, G. J. (1991). Design and Validation of Computer Protocols. Englewood Cliffs, Prentice Hall International 0-13-539925-4

[95]   Holzmann, G. J. and Patti, J. (1989). Validating SDL Specifications: an Experiment. 9th Int. Workshop on Protocol Specification, Testing and Verification, Twente, The Netherlands June 1989, North Holland

[96]   Hopcroft, J. E. and Ullman, J. D. (1979). Introduction to automata theory, languages, and computation. Reading, Mass., Addison-Wesley 0-201-02988-X

[97]   Huizing, C. and de Roever, W.-P. (1991). "Introduction to design choices in the semantics of Statecharts." Information Processing Letters 37 205 - 213

[98]   ISO ISO 8807 Information processing systems - Open System Interconnection - LOTOS- A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour

[99]   ISO ISO 9000 Quality Management and Quality Assurance Standards. Guidelines for Selection and Use

[100] ISO ISO 9074 Information processing systems - Open System Interconnection - ESTELLE: A Formal Description Technique Based on an Extended State Transition Model

[101] ISO (1991) ISO 9646-3 The Tree and Tabular Combined Notation (TTCN), ISO/IEC JTC 1/SC 21 ("TTCN")

[102] ITU (1993a) Z.100 ITU Specification and Description Language (SDL), ITU-T, June 1994, 237 p ("SDL-92")

[103] ITU (1993b) Z.100 Annex F Specification and Description Language (SDL) Annex F. SDL Formal Definition, ITU, April 1994, (33+437+183) p ("SDL-92")

[104] ITU (1993c) Z.100 Appendix I SDL Methodology Guidelines, ITU-T, July 1994, 129 p ("SDL-92")

[105] ITU (1993d) Z.120 Message Sequence Charts (MSC), ITU-T, September 1994, 36 p ("MSC-92")

[106] ITU (1994a) Z.105 SDL combined with ASN.1, ITU-TS, Oct. 19.-27. 1994, 69 p

[107] ITU (1994b) Z.120 Annex B Algebraic Semantics of Message Sequence Charts, ITU-T, October 1994, 50 p ("MSC-92")

[108] ITU (1996a) Z.100 Addendum to Recommendation Z.100: CCITT Specification and Description Language, ITU, October 1996, 31 p ("SDL-96")

[109] ITU (1996b) Z.106 Common Interchange Format, ITU-TS, Oct. 18. 1996 ("CIF")

[110] ITU (1996c) Z.120 Message Sequence Charts (MSC), ITU-T, Oct. 1996, 78 p ("MSC-96")

[111] Jacobson, I., Christerson, M., Jonsson, P. and Övergaard, G. (1992). Object-Oriented Software Engineering: A Use Case Driven Approach. ACM Press Addison-Wesley, 0-201-54435-0

[112] Jacobsen, I., Booch, G. and Rumbaugh, J. (1999). The Unified Software Development Process. Addison Wesley Longman, Reading Mass. 0-201-57169-2 (January 1999)

[113] Jones, C. B. (1986). Systematic Software Development Using VDM. Hemel Hempstead, Prentice-Hall International 0-13-880717-5

[114] Jonsson, B. (1987). Compositional Verification of Distributed Systems. Ph. D., Department of Computer Systems, Uppsala University

[115] Jonsson, B. (1994). "Compositional Specification and Verification of Distributed Systems." ACM Transactions on Programming Languages and Systems 16(2) 259-303

[116] Juul-Wedde, K. (1994). Consistency Control Methods and Evaluation. SISU Note L-1312-5, Oslo, www.sintef.no/sisu

[117] Kaasbøll, J. (1995). Abstraction and concretizing in information systems and problem domains: implications for system descriptions and theoretical frameworks. IFIP 8.1 International Working Conference on Information System Concepts, Marburg, Germany March 28.-30. 1995

[118] Kahn, G. (1974). The semantics of a simple language for parallel programming. IFIP Congress '74, Stockholm, Sweden Pages: 471-475, North-Holland

[119] Kalnin, A. (1991). Global State Based Automatic Test Generation for SDL. SDL´91 Evolving Methods. Proceedings of the Fifth SDL Forum, Glasgow, October 1991, Glasgow October 1991, North Holland: Elsevier

[120] Karp, R. E. and Miller, R. E. (1966). "Properties of a model for parallel computations, determinacy, termination, queueing." SIAM Journal on Applied Mathematics 14 1390-1411

[121] Keen, P. G. W. (1981) Information systems and organisational change. Communications of the ACM, 24(1), January 1981

[122] Kim, H. C., Choi, H., Yim, C. H. and Hong, J. P. (1991). The Automated Verification of SDL Specification Using Numerical Petri-nets. SDL´91 Evolving Methods. Proceedings of the Fifth SDL Forum, Glasgow, October 1991, Glasgow October 1991, North Holland: Elsevier

[123] Kristensen, B. B., Madsen, O. L., Møller-Pedersen, B. and K., N. (1987). The BETA Programming Language. Research Directions in Object-Oriented Languages Eds. B. Shriver and P. Wegner. MIT Press

[124] Kristoffersen, F. (1991). Message Sequence Chart and SDL Specification Consistency Check. SDL´91 Evolving Methods. Proceedings of the Fifth SDL Forum, Glasgow, October 1991, Glasgow October 1991, North Holland: Elsevier

[125] Kroon, J. and Wiles, A. (1991). A tutorial on TTCN. Protocol, Specification, Testing and Verification, 11th International IFIP WG6.1 Symposium on Protocol, Specification, Testing and Verification, Pages: 40-92., 11

[126] Lam, S. S. and Shankar, A. U. (1984). Protocol Verification via Projections. IEEE Transactions on Software Engineering vSE10(4)

[127] Lam, S. S. and Shankar, A. U. (1991). A Composition Theorem for Layered Systems. Protocol Specification Testing and Verification XI, Pages: 93 - 108, Elsevier Science Publishers B.V., North Holland XI

[128] Lamport, L. (1986). "On interprocess communication. Parts I & II." Distributed Computing 1/1986 77-101

[129] Lamport, L. (1989). "A simple Approach to Specifying Concurrent Systems." Communication of the ACM 32(1) 32-45

[130] Lamport, L. (1991). The Temporal Logic of Actions . Digital Equipment Corporation SRC Research Report Series 79, Palo Alto

[131] Lamport, L. (1993). How to Write a Proof . Digital Equipment Corporation SRC Research Report Series 94, Palo Alto

[132] Lamport, L. (1994). TLA in Pictures . Digital Equipment Corporation SRC Research Report Series 127, Palo Alto

[133] Lewerentz, C. and Lindner, T. (1994). Case Study "Production Cell": A Comparative Study in Formal Specification and Verification . Forschungszentrum Informatik an der Universität Karlsruhe FZI-Publication 1/94, Karlsruhe

[134] Madsen, O. L., Møller-Pedersen, B. and K., N. (1993). Object-Oriented Programming in the BETA Programming Language. Wokingham, England, Addison-Wesley 0-201-62430-3

[135] Maraninchi, F. (1991). Languages for reactive systems: a common framework for comparing Statecharts and Argos

[136] Mauw, S. (1993), "An algebraic semantics for Message Sequence Charts", TD 40 at ITU SG 10 WG MSC Geneva October 19. 1993

[137] Mauw, S. and van der Meulen, E. A. (1995). Generating tools for Message Sequence Charts. SDL'95 with MSC in CASE. Proceedings of the Seventh SDL Forum, Oslo, Norway Sept. 26.-29. 1995, North-Holland

[138] Mazurkiewicz, A. (1986). Trace theory. Petri Nets: Application and Relation to other Models of Concurrency, Bad Honef September 8.-19. 1986, Pages: 279-324, Springer-Verlag LNCS 254-255

[139] Milner, R. (1980). A Calculus of Communicating Systems. Springer Verlag 0-13-114984-9

[140] Møller-Pedersen, B. (1993). "SDL-92 as an object oriented notation." Telektronikk

[141] Moser, L. E. and Melliar-Smith, P. M. (1990). "Formal Verification of Safety-critical Systems." Software-Practice and Experience 20(8) 799-821

[142] Nahm, R. E. M. (1994). Conformance Testing Based on Formal Description Techniques and Message Sequence Charts. Inauguraldissertation, Universität Bern

[143] Nygaard, K. (1986). Basic Concepts in Object-oriented Programming. Sigplan Notices , 21(19) October 1986

[144] Olsen, A., Faergemand, O., Møller-Pedersen, B., Smith, J. R. W. and Reed, R. (1994). Systems Engineering Using SDL-92. North Holland 0 444 89872 7

[145] OMG (1995). Common Object Request Broker: Architecture and Specification , Revision 2.0, OMG, July 1995

[146] OMG (1997). OMG Unified Modeling Language Specification, Version 1.1, September 1997

[147] OMG (1998). OMG Unified Modeling Language Specification, Version 1.2, July 1998

[148] OVUM (1996). OVUM Evaluates: Configuration Management Tools, OVUM, London. (December 1996)

[149] OVUM (1997a). Select Enterprise. OVUM Evaluates: Case Products - Issue 34, OVUM, London. (October 1997)

[150] OVUM (1997b). Guide to SDL. OVUM Evaluates: Case Products, OVUM, London. (June 1997)

[151] OVUM (1998). OVUM Evaluates: Configuration Management, OVUM, London. (July 1998)

[152] OVUM (1998a). Guide to UML. OVUM Evaluates: Case Products, OVUM, London. (January 1998)

[153] OVUM (1998b). Object Geode. OVUM Evaluates: Case Products, OVUM, London. (November 1998)

[154] OVUM (1998c). SDT/Tau. OVUM Evaluates: Case Products, OVUM, London. (November 1998)

[155] OVUM (1998d). Paradigm Plus. OVUM Evaluates: Case Products, OVUM, London. (November 1998)

[156] OVUM (1998e). ObjectTeam (now: Cool:Jex). OVUM Evaluates: Case Products, OVUM, London. (November 1998)

[157] OVUM (1999). Rational Rose. OVUM Evaluates: Case Products, OVUM, London. (February 1999)

[158] Parnas, D. L. (1972). "On the Criteria to be Used in Decomposing Systems into Modules." Communications of the ACM 5(12)

[159] Perrin, D. (1990). Finite Automata. Handbook of Theoretical Computer Science. Formal Models and Semantics Ed. J. van Leeuwen. Amsterdam, Elsevier. Vol. B 3-58

[160] Q-Labs Cleanroom Competency Centre (QCCC) (1992). Cleanroom Software Engineering Applied to Telecommunications. NSDCS'92

[161] Ravn, A. P. e. (1991). Embedded, Real-time Computing Systems . ProCoS project Working Draft Denmark, England

[162] Reenskaug, T., Wold, P. and Lehne, O. A. (1995). Working With Objects. Manning/Prentice Hall

[163] Reisig, W. (1985). Petri Nets. An Introduction. Berlin, Springer-Verlag 4 3-540-13723-8

[164] Rensink, A. and Wehrheim, H. (1994). Weak sequential composition in process algebra. CONCUR '94, Proc. 5th Int. Conf. on Concurrency Theory, Uppsala, Sweden Pages: 226-241, Springer-Verlag LNCS 836

[165] Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F. and Lorensen, W. (1991). Object-Oriented Modeling and Design. Englewood Cliffs, New Jersey, Prentice Hall 0-13-629841-9

[166] Rumbaugh, J., Jacobsen, I. and Booch, G. (1998). Unified Modeling Language Reference Manual. Addison Wesley Longman, Reading Mass. 0-201-30998-X (December 1998)

[167] Saracco, R., Smith, J. R. W. and Reed, R. (1989). Telecommunications Systems Engineering using SDL. North Holland: Elsevier

[168] Selic, B., Gullekson, G. and Ward, P. (1994). Real-Time Object-Oriented Modeling . J. Wiley & Sons, 0-471-59917-4

[169] Spurkland, S. and Haugen, Ø. (1994). Rudimentary SDL Verifier in Prolog. SISU Note L-1313-3, Oslo, www.sintef.no/sisu

[170] Solberg, O., Schulstad, H. and Ellevseth, S.E. (1996). Evaluation of ClearCase. SISU Report L-2105-3, Oslo, www.sintef.no/sisu

[171] Stølen, K., Dederichs, F. and Weber, R. (1993). "Assumption/Commitment Rules for Networks of Asynchronously Communicating Agents." Draft copy

[172] Støren, O. H. (1994). Experiences from pilot study: system requirement analysis. SISU (Siemens) Note L-1112-10, SINTEF, www.sintef.no/sisu

[173] Stroustrup, B. (1992). The C++ Programming Language. Second Edition. Addison-Wesley

[174] Telelogic (1999). Methodology Guidelines. The SOMT Method. Telelogic Manual SDT 3.5, Malmø

[175] Vardi, M. Y. (1994). An Automata-Theoretic Approach to Linear Temporal Logic. VIII Banff Workshop: Logics for Concurrency Structure vs. Automata, Banff, Canada August 27. - September 3 1994

[176] Vasconcelos, V. and Tokoro, M. (1991). Trace semantics for actor systems. ECOOP '91 Workshop on Object-BAsed Concurrent Computing, Geneva, Switzerland July 1991, Pages: 141-162, Springer-Verlag LNCS 612 3-540-55613-3

[177] Vergauwen, B. and Lewi, J. (1993). A Linear Local Model Checking Algorithm for CTL. CONCUR'93, 4th International Conference on Concurrency Theory, Hildesheim, Germany August 1993, Pages: 447-461, Springer-Verlag LNCS 715 3-540-57208-2

[178] Verhaard, L. (1994), Using SDL for the specification of behaviour of managed objects , D.018-PL/10 at ITU-TS Geneva Oct. 19.-27. 1994

[179] Verilog (1994). GEODE Simulator. Basic Concepts. Reference Manual - GEODE Simulator . Toulouse, France, Verilog. 1-36

[180] Verilog (1999). ObjectGEODE - Method Guidelines. Verilog Toulouse, France

[181] Ward, P. T. and Mellor, S. J. (1985). Structured Development for Real Time Systems

[182] West, C. H. (1986). Protocol validation by random state exploration. Proc. 6th IFIP WG 6.1 Int. Workshop on Protocol Specification, Testing and Verification, Amsterdam Pages: 233-242, North-Holland

[183] Wezeman, C. D. (1990). Protocol conformance testing using multiple UIO-sequences. Workshop on Protocol Specification, Verification and Testing, volume 9 of Proceedings of the IFIP WG 6.1 9th International Symposium on Protocol Specification, Testing and Verification, Pages: 131-143, North-Holland

[184] Wilts, H. J. and Tilanus, P. A. J. (1991). Test Design based on SDL Simulation. SDL´91 Evolving Methods. Proceedings of the Fifth SDL Forum, Glasgow, October 1991, Glasgow October 1991, North Holland: Elsevier

[185] Wolper, P. (1986). Expressing Interesting Properties of Programs in Propositional Temporal Logic. Proc. 13th ACM Symp. on Principles of Programming, St. Petersburg Beach, Florida 13.-15. January 1986, Pages: 184-192, ACM

[186] Yang, F. and Chen, J. (1991). REAS - A ripple effect analysis system. SDL´91 Evolving Methods. Proceedings of the Fifth SDL Forum, Glasgow, October 1991, Glasgow October 1991, North Holland: Elsevier

[187] Yourdon, E. (1989). Structured walkthroughs. Englewood Cliffs, N.J., Yourdon Press 0-13-855289-4

[188] Zhao, Z. and Bochmann, G. v. (1986). Reduced reachability analysis of communication protocols: a new approach. 6th International Workshop on Protocol Specification, Testing and Verification, Montreal, Quebec June 1986, North-Holland

Valid HTML 4.01 Transitional Valid CSS!