1481 search results - page 136 / 297 » Enriching the Software Development Process by Formal Methods |
123
Voted
ECSA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We propose a pattern-based software development method comprising analysis (using problem frames) and design (using architectural and design patterns), of which especiall...
163
Voted
SCOPES
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Synthesis of digital signal processing (DSP) software from dataflow-based formal models is an effective approach for tackling the complexity of modern DSP applications. I...
133
Voted
BIRTHDAY
2003
Springer
15 years 9 months ago
2003
Springer
One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checkin...
140
Voted
ERLANG
2004
ACM
15 years 9 months ago
2004
ACM
Testing of software components during development is a heavily used approach to detect programming errors and to evaluate the quality of software. Systematic approaches to softwar...
133
Voted
FM
2008
Springer
15 years 5 months ago
2008
Springer
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...