977 search results - page 91 / 196 » Formal methods integration in software engineering |
143
click to vote
EMSOFT
2007
Springer
15 years 10 months ago
2007
Springer
Architecture description languages are used to describe both the hardware and software architecture of an application, at system-level. The basic software components are intended ...
149
click to vote
ASM
2010
ASM
15 years 11 months ago
2010
ASM
Abstract. Feature-oriented modelling is a well-known approach for Software Product Line (SPL) development. It is a widely used method when developing groups of related software. Wi...
143
click to vote
APSEC
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper describes a process for selecting and evaluating candidates for component based software engineering. The process is aimed at developers sourcing components from third ...
120
click to vote
ISSTA
1993
ACM
15 years 8 months ago
1993
ACM
Most of the effort that goes into improving the quality of software paradoxically does not lead to quantitative, measurable quality. Software developers and quality-assurance orga...
163
click to vote
ECSA
2010
Springer
15 years 5 months ago
2010
Springer
Although a lot of research has been carried out on the technical architecture of software systems, the domain of Functional Architecture in the software product industry lacks a fo...