2 Compositional Modelling : The Formal Perspective
暂无分享,去创建一个
[1] Bernard P. Zeigler,et al. Theory of Modelling and Simulation , 1979, IEEE Transactions on Systems, Man, and Cybernetics.
[2] K. Mani Chandy,et al. Proofs of Networks of Processes , 1981, IEEE Transactions on Software Engineering.
[3] Cliff B. Jones,et al. Specification and Design of (Parallel) Programs , 1983, IFIP Congress.
[4] Ben C. Moszkowski,et al. Executing temporal logic programs , 1986, Seminar on Concurrency.
[5] David E. Avison,et al. Information Systems Definition: The Multiview Approach , 1985 .
[6] Ian Thomas,et al. PCTE interfaces: supporting tools in software-engineering environments , 1989, IEEE Software.
[7] James E. Rumbaugh,et al. Object-Oriented Modelling and Design , 1991 .
[8] Anne Elisabeth Haxthausen,et al. The Raise Specification Language , 1992 .
[9] Natarajan Shankar. A Tutorial on Specification and Verification Using PVS , 1993 .
[10] Don Libes,et al. Exploring Expect , 1994 .
[11] Chris Dollin,et al. Object-oriented development: the fusion method , 1994 .
[12] John K. Ousterhout,et al. Tcl and the Tk Toolkit , 1994 .
[13] Ben C. Moszkowski. Some Very Compositional Temporal Properties , 1994, PROCOMET.
[14] Natarajan Shankar,et al. Towards a Duration Calculus Proof Assistant in PVS , 1994, FTRTFT.
[15] C. A. Petri. Nets, Time and Space , 1996, Theoretical Computer Science.
[16] Hussein Zedan,et al. Refining Interval Temporal Logic Specifications , 1997, ARTS.
[17] Brent B. Welch. Practical programming in Tcl and TK (2. ed.) , 1997 .
[18] Manuel Silva Suárez,et al. Petri Nets for the Design and Operation of Manufacturing Systems , 1997, Eur. J. Control.
[19] Tomasz Janowski,et al. Composing enterprise models: The extended and the virtual enterprise , 1998, BASYS.
[20] Tomasz Janowski,et al. Market-driven symbolic execution of models of manufacturing enterprises , 1998, Proceedings Second International Conference on Formal Engineering Methods (Cat.No.98EX241).
[21] Hussein Zedan,et al. Designing a Provably Correct Robot Control System Using a 'Lean' Formal Method , 1998, FTRTFT.
[22] Leslie Lamport,et al. Should your specification language be typed , 1999, TOPL.
[23] Brent B Welch,et al. Practical Programming in Tcl and Tk , 1999 .