4476 search results - page 236 / 896 » A flexible framework for engineering |
170
click to vote
KBSE
1998
IEEE
15 years 11 months ago
1998
IEEE
Structural testing criteria are mandated in many software development standards and guidelines. The process of generating test-data to achieve 100 coverage of a given structural c...
155
click to vote
DEXAW
2009
IEEE
15 years 10 months ago
2009
IEEE
A huge amount of schemas are expressed within outdated schema languages which are restricted concerning expressiveness, extensibility, readability, and understandability. Consequen...
185
click to vote
COMPSAC
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract---Service Oriented Architecture (SOA) is an architectural style to reuse and integrate existing systems for designing new applications. Each application is designed in an ...
195
click to vote
FATES
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We propose a syntax-driven test generation technique to auly derive abstract test cases from a set of requirements expressed in a linear temporal logic. Assuming that an ...
174
click to vote
ENTCS
2008
15 years 5 months ago
2008
Previous research has developed a formal methods-based (cognitive-level) model of the Interacting Cognitive Subsystems central engine, with which we have simulated attentional cap...