Sciweavers

20 search results - page 1 / 4
» apsec 2000
Sort
View
63
Voted
APSEC
2000
IEEE
15 years 2 months ago
Building Formal Models for Software Requirements
Axel van Lamsweerde
81
Voted
APSEC
2000
IEEE
15 years 2 months ago
A process logic for distributed system synthesis
Yoshinao Isobe, Kazuhito Ohmaki
73
Voted
APSEC
2004
IEEE
15 years 2 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...
92
Voted
APSEC
2000
IEEE
15 years 2 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