452 search results - page 29 / 91 » Symbolic Execution of Behavioral Requirements |
75
Voted
WWW
2008
ACM
16 years 1 months ago
2008
ACM
While WS-BPEL is emerging as the prominent language for modeling executable business processes, it provides limited support for designing flexible processes. An important need of ...
104
click to vote
ENTCS
2008
15 years 24 days ago
2008
Abstract. j-POST is an integrated toolchain for property-oriented software testing. This toolchain includes a test designer, a test generator, and a test execution engine. The test...
96
Voted
IJCAI
2007
15 years 2 months ago
2007
Modularity is a key requirement for collaborative ontology engineering and for distributed ontology reuse on the Web. Modern ontology languages, such as OWL, are logic-based, and ...
78
Voted
DATE
2009
IEEE
15 years 7 months ago
2009
IEEE
—The adoption of AUTOSAR in the development of automotive electronics can increase the portability and reuse of functional components. Inside each component, the behavior is repr...
128
Voted
TII
2010
14 years 7 months ago
2010
Abstract--Real-time systems are subject to temporal constraints and require a schedulability analysis to ensure that task execution finishes within lower and upper specified bounds...