Reference19 articles.
1. M. Bidoit, M.-C. Gaudel, and A. Mauboussin. How to make algebraic specifications more understandable: An experiment with the PLUSS specification language. Science of Computer Programming, 12:1–38, 1989.
2. Frederick P. Brooks. No silver bullet — essence and accidents of software engineering. Computer, pages 10–19, April 1987.
3. Jim Davies and Steve Schneider. Real-time CSP. In Teodor Rus and Charles Rattray, editors, Theories and Experiences for Real-Time System Development. World Scientific Publishing Company, 1995.
4. Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. Design Patterns — Elements of Reusable Object-Oriented Software. Addison Wesley, 1995.
5. David Harel. Statecharts: a visual formalism for complex systems. Science of Computer Programming, 8:231–274, 1987.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献