Introducing formal notations in the development of object-based distributed applications
暂无分享,去创建一个
Simon Pickin | Juan C. Yelmo | Carlos Sánchez | Juan J. Gil | E. Rodríguez | S. Pickin | J. J. Gil | J. Yelmo | Carlos Sánchez | E. Rodríguez
[1] Jean-Bernard Stefani. ODP: The Next Target for the Applciation of FDTs , 1990, FORTE.
[2] P. Combes,et al. MSCs to Express Service Requirements as Properties on a SDL Model , 1995 .
[3] Ivar Jacobson,et al. Using Contracts and Use Cases to Build Pluggable Architectures , 1995, J. Object Oriented Program..
[4] Sriram Sankar,et al. ADL - An Interface Definition Language for Specifying and Testing Software , 1994, Workshop on Interface Definition Languages.
[5] Chris Dollin,et al. Object-oriented development: the fusion method , 1994 .
[6] Richard Mark Soley,et al. Object Management Architecture Guide , 1993 .
[7] Reinhard Gotzhein,et al. Towards a Basic Reference Model of Open Distributed Processing , 1995, Comput. Networks ISDN Syst..
[8] Ivar Jacobson,et al. Object-oriented software engineering - a use case driven approach , 1993, TOOLS.
[9] Anders Olsen,et al. Using SDL for Targeting Services to CORBA , 1995, IS&N.
[10] C.A. Vissers,et al. Formal description techniques , 1983, Proceedings of the IEEE.
[11] Iso. Lotos,et al. A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour , 1985 .
[12] Anne Clarke,et al. Bringing Telecommunication Services to the People — IS&N '95 , 1995, Lecture Notes in Computer Science.
[13] Barry W. Boehm,et al. A spiral model of software development and enhancement , 1986, Computer.
[14] Jeremy Dick,et al. Automating the Generation and Sequencing of Test Cases from Model-Based Specifications , 1993, FME.
[15] Bo Bichel Nørbæk,et al. Modifying and Using SDL to Specify ODP-Based Telecommunications Services**This work was (partially) supported by the RACE SCORE project; however, it represents the view of the authors. , 1995 .
[16] D. Yannopoulos,et al. Overall Concepts and Principles of TINA , 1994 .
[17] William E. Lorensen,et al. Object-Oriented Modeling and Design , 1991, TOOLS.