3045 search results - page 33 / 609 » Formal Approaches to Software Architecture |
110
Voted
IEE
2008
14 years 10 months ago
2008
: From a maintenance perspective, only software that is well understood can evolve in a controlled and high-quality manner. Software evolution itself is a knowledge-driven process ...
111
click to vote
FMAM
2010
14 years 8 months ago
2010
: Members of the agile programming and formal methods communities do not always see eye-to-eye. These two communities often do not talk to or learn from each other. Only recently, ...
INFSOF
2006
14 years 10 months ago
2006
Adding usability improving solutions during late stage development is to some extent restricted by the software architecture. However, few software engineers and human
CAISE
1997
Springer
15 years 2 months ago
1997
Springer
OO-Method is an OO Methodology that blends the use of formal specification systems with conventional OO methodologies based on practice. In contrast to other approaches in this fi...
105
click to vote
RE
1999
Springer
15 years 2 months ago
1999
Springer
This paper describes a feasibility study into the use of a formal requirements modeling method (SCR) to assist with Independent Verification and Validation of change requests for ...