1021 search results - page 43 / 205 » Design of a Specification Language by Abstract Syntax Engine... |
AOSD
2007
ACM
15 years 3 months ago
2007
ACM
Design rules express constraints on the behavior and structure of a program. These rules can help ensure that a program follows a set of established practices, and avoids certain ...
AIEDAM
2007
2007
Biomimetic design through natural language analysis to facilitate cross-domain information retrieval
14 years 11 months ago
Biomimetic, or biologically inspired, design uses analogous biological phenomena to develop solutions for engineering problems. Several instances of biomimetic design result from ...
EMISA
2006
Springer
15 years 2 months ago
2006
Springer
Abstract: Web service technology offers a promising approach for realizing enterprisewide and cross-organizational business applications. With the Business Process Execution Langua...
FASE
2009
Springer
15 years 3 months ago
2009
Springer
Model checking tools based on the iterative refinement of predicate abstraction (e.g., Slam and Blast) often feature a specification language for expressing complex behavior rules....
105
click to vote
SEKE
2010
Springer
14 years 9 months ago
2010
Springer
Abstract--Property specification is still one of the most challenging tasks for transference of software verification technology like model checking. The use of patterns has been p...