561 search results - page 15 / 113 » VSE: Controlling the Complexity in Formal Software Developme... |
124
Voted
GECCO
2005
Springer
15 years 7 months ago
2005
Springer
Mapping biology into computation has both a domain specific aspect – biological theory – and a methodological aspect – model development. Computational modelers have implici...
107
click to vote
TOSEM
1998
15 years 1 months ago
1998
Many software process methods and tools presuppose the existence of a formal model of a process. Unfortunately, developing a formal model for an on-going, complex process can be d...
103
click to vote
OOPSLA
2009
Springer
15 years 8 months ago
2009
Springer
Software correctness has bedeviled the field of computer science since its inception. Software complexity has increased far more quickly than our ability to control it, reaching ...
108
click to vote
IRI
2003
IEEE
15 years 7 months ago
2003
IEEE
– Building large software systems out of existing software components can save time and cost. These software components range from architectural and design components to binary c...
119
click to vote
CLEIEJ
2002
15 years 1 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...