383 search results - page 61 / 77 » Abstracting Complex Languages through Transformation and Com... |
163
click to vote
FASE
2009
Springer
15 years 9 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....
227
click to vote
ICSEA
2009
IEEE
15 years 3 months ago
2009
IEEE
The emerging Model-Driven Engineering paradigm advocates the use of models as first-class citizens in the software development process, while artifacts such as documentation and so...
294
click to vote
ICSOC
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. As the dynamicity of today's business environments keeps increasing, there is a need to continuously adapt business processes in order to respond to the changes in t...
181
click to vote
TASE
2008
IEEE
16 years 6 days ago
2008
IEEE
Abstract Web services choreography describes global models of service interactions among a set of participants. For an interaction to be executed, the participants taken part in it...
164
click to vote
FTRTFT
2000
Springer
15 years 9 months ago
2000
Springer
Formal methods can improve the development of systems with high quality requirements, since they usually o er a precise, nonambiguous speci cation language and allow rigorous veri ...