859 search results - page 34 / 172 » Explaining Synthesized Software |
188
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
rocesses involve modeling – simplifying or abstracting some aspects of the problem domain in order to plan and evaluate design decisions. The use of representations to reason abo...
160
click to vote
PROFES
2005
Springer
16 years 7 days ago
2005
Springer
This paper addresses the almost never-ending headache the role of documentation has given for software projects. Working software has been given recently a focus over comprehensive...
158
Voted
RE
2010
Springer
15 years 1 months ago
2010
Springer
Abstract--The paper describes the quotations gathered during interviews and focus groups during a consulting engagement to help the client improve its requirements engineering (RE)...
179
Voted
TFM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We summarise our experiences in teaching two formal methods courses at Pontificia Universidad Javeriana. The first course is a JML-based software engineering course. Th...
154
Voted
MODELS
2007
Springer
16 years 27 days ago
2007
Springer
In this position paper, we explain our approach for collaborative systems development based on a model of cooperative applications and a formalism called ORCHESTRA allowing to exp...