1481 search results - page 21 / 297 » Enriching the Software Development Process by Formal Methods |
151
click to vote
GI
2009
Springer
15 years 27 days ago
2009
Springer
Abstract: Model based testing promises systematic test coverage in a continuous testing process. However, in practice, model based testing struggles with informal specifications, d...
116
click to vote
FORMATS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. In this paper we report a new SAT solver for difference logic, a propositional logic enriched with timing constraints. The main novelty of our solver is a tighter integra...
131
click to vote
EDOC
2003
IEEE
15 years 8 months ago
2003
IEEE
Component-Based Software Engineering, Separation of Concerns, Model-Driven Architecture, and Aspect-Oriented Programming are four active research areas that have been around for s...
135
click to vote
APSEC
2003
IEEE
15 years 8 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 ...
123
click to vote
SEKE
2004
Springer
15 years 8 months ago
2004
Springer
Software architecture plays a central role in developing software systems that satisfy functionality and security requirements. However, little has been done to integrate system d...