3045 search results - page 65 / 609 » Formal Approaches to Software Architecture |
WICSA
2008
15 years 7 days ago
2008
Simulation is a mean for verifying the quality of an architectural specification. Some approaches have been proposed in the past. Each approach has its own internal simulation eng...
94
Voted
ASE
2006
14 years 11 months ago
2006
Ideally, a software project commences with requirements gathering and specification, reaches its major milestone with system implementation and delivery, and then continues, possi...
106
Voted
VAMOS
2007
Springer
15 years 5 months ago
2007
Springer
The Feature–Oriented approach provides a way of modelling commonalities and variabilities among products of a software product line. A feature model can be used as input for gen...
ICSE
2001
IEEE-ACM
15 years 3 months ago
2001
IEEE-ACM
Early testing of requirements can decrease the cost of removing errors in software projects. However, unless done carefully, that testing process can significantly add to the cos...
95
Voted
FMAM
2010
14 years 8 months ago
2010
Abstract: The integration of agile software development techniques with formal methods has attracted attention as a research topic. But what exactly is to be gained from attempting...