2419 search results - page 207 / 484 » A Formal Approach to Software Testing |
127
click to vote
WICSA
2004
15 years 5 months ago
2004
COMMUNITY is a formal approach to software architecture. Its main characteristics are: a precise, yet intuitive mathematical semantics based on categorical diagrams; a clear separ...
144
click to vote
APSEC
2000
IEEE
15 years 8 months ago
2000
IEEE
Component-based software development approach is based on the idea to develop software systems by selecting appropriate off-the-shelf components and then to assemble them with a w...
161
click to vote
CODES
2004
IEEE
15 years 7 months ago
2004
IEEE
In this paper, a novel method for high-level specification and validation of SoC designs using UML is proposed. UML is introduced as a formal model of specification for SoC design...
134
click to vote
AICCSA
2001
IEEE
15 years 7 months ago
2001
IEEE
This paper2 details the stages of building a substantial, carefully specified, fully tested and fully operational university and school timetabling system. This is reported as a c...
137
click to vote
JSS
2008
15 years 3 months ago
2008
The increasing trend toward complex software systems has highlighted the need to incorporate quality requirements earlier in the development cycle. We propose a new methodology fo...