658 search results - page 27 / 132 » A formal approach to object-oriented software engineering |
135
click to vote
ADAEUROPE
2001
Springer
15 years 9 months ago
2001
Springer
Deriving test cases from specifications is now recognised as a major application of formal methods to software development. Several methods have been proposed for various formalism...
148
click to vote
FASE
2008
Springer
15 years 6 months ago
2008
Springer
If we model a family of software applications with a feature model and an architecture model, we are describing the same subject from different perspectives. Hence, we are running ...
125
click to vote
ADBIS
2005
Springer
15 years 10 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...
117
click to vote
PROFES
2004
Springer
2004
Springer
Development of a Normative Package for Safety-Critical Software Using Formal Regulatory Requirements
15 years 9 months ago
Abstract. The important tasks in requirement engineering are resolving requirements inconsistencies between regulators and developers of safety-critical computer systems, and the v...
119
click to vote
ICSM
2005
IEEE
15 years 10 months ago
2005
IEEE
While often defined in informal ways, software cohesion reflects important properties of modules in a software system. Cohesion measurement has been used for quality assessment, f...