531 search results - page 41 / 107 » Software Process Development and Enactment: Concepts and Def... |
ICSE
1999
IEEE-ACM
14 years 4 days ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
ADBIS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Quality of software has growing role of the modern software engineering work. Typical current trends in the development process are the dominating role of quality systems...
CLEIEJ
2002
13 years 7 months ago
2002
Function Point Analysis (FPA) is among the most commonly used techniques to estimate the size of software system projects or software systems. During the point counting process th...
LREC
2010
13 years 9 months ago
2010
The development of a multilingual terminology is a very long and costly process. We present the creation of a multilingual terminological database called GRISP covering multiple t...
DAGSTUHL
2007
13 years 9 months ago
2007
iary models in order to bridge the semantic gap between high-level, abstract user requirements and low-level, concrete programs and to support a stepwise refinement process. This d...