152 search results - page 1 / 31 » Capacities-Centered Integral Software Process Formalization |
SCCC
2000
IEEE
15 years 5 months ago
2000
IEEE
145
Voted
ASE
1998
15 years 24 days ago
1998
Software process improvement requires high level formalisms for describing project-specific, organizational and quality aspects. These formalisms must be convenient not only for ...
104
Voted
SCM
2003
15 years 2 months ago
2003
Classically, software deployment is a process consisting of building the software, packaging it for distribution, and installing it at the target site. This approach has two proble...
118
Voted
FM
1998
Springer
15 years 5 months ago
1998
Springer
We give an overview of the enhanced VSE system which is a tool to formally specify and verify systems. It provides means for structuring speci cations and it supports the developme...
114
Voted
TCS
2002
15 years 22 days ago
2002
We show how formal specifications can be integrated into one of the current pragmatic object-oriented software development methods. Jacobson's "Object-Oriented Software ...