1251 search results - page 180 / 251 » A Method for Component-Based Software and System Development |
118
Voted
APSEC
2006
IEEE
15 years 8 months ago
2006
IEEE
Testing for time-related behaviors of PLC software is important and should be performed carefully. We propose a structural testing technique on Function Block Diagram(FBD) network...
118
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...
325
Voted
ICSE
2012
IEEE-ACM
13 years 5 months ago
2012
IEEE-ACM
—For a large and evolving software system, the project team could receive a large number of bug reports. Locating the source code files that need to be changed in order to fix th...
120
Voted
IUI
2010
ACM
15 years 11 months ago
2010
ACM
Aspect-level news browsing provides readers with a classified view of news articles with different viewpoints. It facilitates active interactions with which readers easily discove...
111
Voted
MEMOCODE
2006
IEEE
15 years 8 months ago
2006
IEEE
Timed I/O Automata (TIOA) is a mathematical framework for modeling and verification of distributed systems that involve discrete and continuous dynamics. TIOA can be used for exa...