SEFM 2005 Third IEEE International Conference on Software Engineering and Formal Methods (07-09 September 2005/Koblenz, Germany)
| Author/creator | Aichernig, B. Editor |
| Other author | Beckert, B. Editor |
| Other author | IEEE Xplore (Online service) |
| Format | Electronic |
| Publication Info | Los Alamitos : IEEE Computer Society Press |
| Description | 462 p. 11.000 x 08.500 in. |
| Supplemental Content | Full text available from IEEE Electronic Library (IEL) |
| Supplemental Content | Full text available from IEEE Conference Proceedings Archive 2005-2009 |
| Supplemental Content | Full text available from IEEE Electronic Library (IEL) Conference Proceedings |
| Subjects |
| Summary | Annotation SEFM 2005 brings together practitioners and researchers from academia, industry, and government to advance the state of the art in formal methods, to scale up their application in software industry, and to encourage their integration with practical engineering methods. SEFM focuses on principal topics such as, requirement analysis and specification, software architectures, integration of formal and informal methods, formal aspects of security and mobility, analysis of safety-critical systems, and component-based, service-oriented, and aspect-oriented development. |
| Access restriction | Available only to authorized users. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| LCCN | 2004109118 |
| ISBN | 9780769524351 |
| ISBN | 0769524354 (Trade Paper) Active Record |
| Stock number | P2435 00029433 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | Access Content Online | ✔ Available |