10241 search results - page 448 / 2049 » Goal-Driven Software Development |
206
click to vote
ZUM
1994
Springer
15 years 11 months ago
1994
Springer
A critical issuein the designof aprofessionalsoftware engineeringdegreeprogram is the way in which formal methods are integrated into the curriculum. The approach taken by most pr...
188
click to vote
CBSE
2009
Springer
15 years 10 months ago
2009
Springer
We believe that for developing applications in a specific domain, the best kindofsoftwarecomponent model touseis adomain-specificone. Wealso believe that current component models i...
185
click to vote
DEBS
2007
ACM
15 years 10 months ago
2007
ACM
In this paper, we describe design motivations and experience with a visual language that treats the architecture of a reactive system as a composition of small, asynchronous softw...
203
click to vote
EURODAC
1995
IEEE
15 years 10 months ago
1995
IEEE
A three level software system for thermal analysis of semiconductor devices, one-chip monolith IC's, multi-chip modules (MCM) and hybrid IC's is presented. For each desig...
184
click to vote
DEXAW
2008
IEEE
15 years 8 months ago
2008
IEEE
Validation is an essential part of software development, and testing is a practical and widely used approach. The emerging methodology is model-based testing, in which test cases ...