Sciweavers

1781 search results - page 50 / 357
» An Emerging Need for a New Software Engineering Method
Sort
View
AMAST
2004
Springer
15 years 5 months ago
Counting Votes with Formal Methods
This abstract provides some background information about the electronic voting experiment that is planned in the Netherlands for the European Elections of 2004, and about our own i...
Bart Jacobs
COMPSAC
2002
IEEE
15 years 5 months ago
The Quest for Software Components Quality
Component based software development is becoming more generalized, representing a considerable market for the software industry. The perspective of reduced development costs and s...
Miguel Goulão, Fernando Brito e Abreu
SIGSOFT
1994
ACM
15 years 4 months ago
Exploiting Style in Architectural Design Environments
As the design of software architectures emerges as a discipline within software engineering, it will become increasingly important to support architectural description and analysi...
David Garlan, Robert Allen, John Ockerbloom
UPP
2004
Springer
15 years 5 months ago
Overview of Generative Software Development
Abstract. System family engineering seeks to exploit the commonalities among systems from a given problem domain while managing the variabilities among them in a systematic way. In...
Krzysztof Czarnecki
90
Voted
SIGSOFT
1994
ACM
15 years 4 months ago
Foundations of Software Testing: Dependability Theory
Testing is potentially the best grounded part of software engineering, since it deals with the well defined situation of a fixed program and a test (a finite collection of input v...
Richard G. Hamlet