561 search results - page 31 / 113 » VSE: Controlling the Complexity in Formal Software Developme... |
123
Voted
DAGSTUHL
2007
15 years 3 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...
122
Voted
EDOC
2002
IEEE
15 years 6 months ago
2002
IEEE
Continuous change of user requirements has become a constant for geo-information systems. Designing systems that can adapt to such changes requires an appropriate ethodology that ...
112
click to vote
ICECCS
2007
IEEE
15 years 5 months ago
2007
IEEE
Modern software applications ranging from enterprise to embedded systems are becoming increasingly complex, and require very high levels of dependability assurance. The most effec...
119
Voted
ECBS
2007
IEEE
15 years 8 months ago
2007
IEEE
The ever growing size and complexity of both technical and business systems requires efficient software engineering approaches to keep development cost under control while still ...
141
click to vote
SEKE
1995
Springer
15 years 5 months ago
1995
Springer
The development of a large information system is generally regarded as one of the most complex activities undertaken by organizations and it is dependent on the communication and u...