SDT - a Real-Time CASE Tool for the CCITT Specification Language SDL

[1]  Gilles Kahn,et al.  The Semantics of a Simple Language for Parallel Programming , 1974, IFIP Congress.

[2]  D. L. Parnas,et al.  On the criteria to be used in decomposing systems into modules , 1972, Software Pioneers.

[3]  Edward Yourdon,et al.  Structured walkthroughs , 1978 .

[4]  Wolfgang Reisig.  Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.

[5]  William E. Lorensen,et al.  Object-Oriented Modeling and Design , 1991, TOOLS.

[6]  Leslie Lamport,et al.  Artificial Intelligence and Language Processing ]acques Cohen Editor a Simple Approach to Specifying Concurrent Systems , 2022 .

[7]  Mario Tokoro,et al.  Traces Semantics for Actor Systems , 1991, Object-Based Concurrent Computing.

[8]  Louise E. Moser,et al.  Formal verification of safety‐critical systems , 1990, Softw. Pract. Exp..

[9]  A. Udaya Shankar,et al.  Protocol Verification via Projections , 1984, IEEE Transactions on Software Engineering.

[10]  Pierre Wolper,et al.  Expressing interesting properties of programs in propositional temporal logic , 1986, POPL '86.

[11]  Cliff B. Jones,et al.  Systematic software development using VDM , 1986, Prentice Hall International Series in Computer Science.

[12]  R. Karp,et al.  Properties of a model for parallel computations: determinacy , 1966 .

[13]  Kristen Nygaard.  Basic concepts in object oriented programming , 1986, OOPWORK '86.

[14]  Bjarne Stroustrup,et al.  The C++ Programming Language, Second Edition , 1991 .

[15]  Bent Bruun Kristensen,et al.  The BETA Programming Language , 1987, Research Directions in Object-Oriented Programming.

[16]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[17]  A. Udaya Shankar,et al.  A Composition Theorem for Layered Systems , 1991, PSTV.

[18]  Rick Reed,et al.  Telecommunications systems engineering using SDL , 1989 .

[19]  Fabrizio Lombardi,et al.  Protocol conformance testing using multiple UIO sequences , 1989, IEEE Trans. Commun..

[20]  Paul Ward,et al.  Structured Development for Real-Time Systems , 1986 .