277 search results - page 29 / 56 » An Approach to Specify and Test Component-Based Dependable S... |
179
click to vote
ICST
2009
IEEE
15 years 3 months ago
2009
IEEE
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
175
click to vote
TASE
2007
IEEE
16 years 7 days ago
2007
IEEE
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...
197
click to vote
JIPS
2010
15 years 23 days ago
2010
Software evolution is an ongoing process carried out with the aim of extending base applications either for adding new functionalities or for adapting software to changing environm...
164
click to vote
SSIRI
2010
15 years 4 months ago
2010
— Model-based approaches, especially based on directed graphs (DG), are becoming popular for mutation testing as they enable definition of simple, nevertheless powerful, mutation...
176
click to vote
FMICS
2008
Springer
15 years 7 months ago
2008
Springer
Lustre is a formal synchronous declarative language widely used for modeling and specifying safety-critical applications in the elds of avionics, transportation or energy productio...