Sciweavers

20 search results - page 1 / 4
» apsec 2000
Sort
View
153
Voted
APSEC
2000
IEEE
15 years 11 months ago
Building Formal Models for Software Requirements
Axel van Lamsweerde
176
Voted
APSEC
2000
IEEE
15 years 11 months ago
A process logic for distributed system synthesis
Yoshinao Isobe, Kazuhito Ohmaki
APSEC
2004
IEEE
15 years 10 months ago
An Integrated Model of ISO 9001: 2000 and CMMI for ISO Registered Organizations
ISO 9001 is a standard for quality management systems while CMMI is a model for process improvement. If an organization that has achieved ISO registration wishes to improve proces...
Chanwoo Yoo, Junho Yoon, Byungjeong Lee, Chong-Won...
APSEC
2000
IEEE
15 years 11 months ago
Implementation of a software engineering course for computer science students
Experience from industry shows that graduates in computer science generally lack many of the skills required in software development projects. This presents a challenge to academi...
Ivica Crnkovic, Magnus Larsson, Frank Lüders