Subject
Computer Science Applications,Information Systems,Software
Reference29 articles.
1. Design transformation and Abstract design prototyping, Information and Software Technology;Friel,1991
2. Strategies for incorporating formal specifications;Fraser;Communications of the ACM,1994
3. The design and development of embedded Ada systems;Clark;Software Engineering Journal,1990
4. Communicating Sequential Processes;Hoare,1985