1st International Conference on Software Engineering and Formal Methods (SEFM 2003)
| Author/creator | IEEE Computer Society Staff |
| Other author | IEEE Xplore (Online service) |
| Format | Electronic |
| Publication Info | Los Alamitos : IEEE Computer Society Press |
| Description | 240 p. 11.000 x 08.500 in. |
| Supplemental Content | Full text available from IEEE Electronic Library (IEL) |
| Supplemental Content | Full text available from IEEE Electronic Library (IEL) Conference Proceedings |
| Subjects |
| Summary | Annotation SEFM 2003 covers the latest research from practitioners and researchers from academia, industry and government on the theoretical foundation of formal methods, their application to software engineering and the socio-economic impact of their use. The papers cover topics such as precise design, formal specification and verification, integration of formal and informal methods, integration of different formal methods, refinement, and automated verification. It also looks at real-time constraints, concurrent constraint programming, multi-agent systems, hybrid systems, probabilistic models, test case generation, and the analysis of safety-critical systems. |
| Access restriction | Available only to authorized users. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| ISBN | 9780769519494 |
| ISBN | 0769519490 (Trade Paper) Active Record |
| Standard identifier# | 9780769519494 |
| Stock number | PR01949 00029433 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | Access Content Online | ✔ Available |