共 50 条
- [1] Software Engineering Techniques for the Development of Systems of Systems FOUNDATIONS OF COMPUTER SOFTWARE: FUTURE TRENDS AND TECHNIQUES FOR DEVELOPMENT, 2010, 6028 : 59 - 82
- [3] Formal techniques in software engineering: Correct software and safe systems Theorem Proving in Higher Order Logics, Proceedings, 2007, 4732 : 3 - 4
- [4] Software engineering techniques in multi-agent systems ICAI '05: PROCEEDINGS OF THE 2005 INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS 1 AND 2, 2005, : 502 - 505
- [6] Systems Engineering Specification Techniques INCOSE International Symposium, 1997, 7 (01): : 251 - 257
- [8] Software engineering techniques and tools for high performance parallel systems University of Aizu (Institute of Electrical and Electronics Engineers Inc., United States):
- [9] Characteristics of mathematical modeling languages that facilitate model reuse in systems biology: a software engineering perspective npj Systems Biology and Applications, 7