2897 search results - page 51 / 580 » Test Case Integration: From Components to Systems |
142
Voted
ASM
2010
ASM
15 years 6 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
117
Voted
CBMS
1999
IEEE
15 years 7 months ago
1999
IEEE
Recent advances in networking, robotics, and computer technology allow today realtime diagnosis, consultation, and education by using images obtained through remote microscopy. Th...
139
Voted
ECBS
2010
IEEE
15 years 10 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
125
Voted
KBSE
1999
IEEE
15 years 7 months ago
1999
IEEE
Deductive retrieval and deductive synthesis are two conceptually closely related software development methods which apply theorem proving techniques to support the construction of...
113
Voted
ICSE
2003
IEEE-ACM
16 years 3 months ago
2003
IEEE-ACM
The use of component models such as Enterprise Java Beans and the CORBA Component Model (CCM) in application development is expanding rapidly. Even in real-time safety/mission-cri...