383 search results - page 61 / 77 » Abstracting Complex Languages through Transformation and Com... |
98
Voted
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....
131
click to vote
ICSEA
2009
IEEE
14 years 9 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...
194
Voted
ICSOC
2010
Springer
14 years 10 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...
105
Voted
TASE
2008
IEEE
15 years 6 months 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...
99
Voted
FTRTFT
2000
Springer
15 years 3 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 ...