Back to Search
Start Over
Guest editorial to the special section on SEFM 2009.
- Source :
- Software & Systems Modeling; May2013, Vol. 12 Issue 2, p227-228, 2p
- Publication Year :
- 2013
-
Abstract
- An introduction is presented in which the author discusses various reports within the issue on topics including design patterns to the Event-B specification language, reactive systems using signal patterns, and software engineering.
- Subjects :
- SOFTWARE engineering
COMPUTER software
Subjects
Details
- Language :
- English
- ISSN :
- 16191366
- Volume :
- 12
- Issue :
- 2
- Database :
- Complementary Index
- Journal :
- Software & Systems Modeling
- Publication Type :
- Academic Journal
- Accession number :
- 87697684
- Full Text :
- https://doi.org/10.1007/s10270-012-0238-z