2881 search results - page 167 / 577 » Model Checking for Programming Languages using Verisoft |
156
click to vote
GPCE
2003
Springer
15 years 11 months ago
2003
Springer
A domain-specific language provides domain experts with a abstraction for creating computer programs. As more and more domains embrace computers, programmers are tapping into this...
174
click to vote
ECOOP
2004
Springer
15 years 11 months ago
2004
Springer
Software developers create a variety of artifacts that model viour of applications at different levels of abstraction; e.g. use cases, sequence diagrams, and source code. Aspect-o...
188
click to vote
CAV
2012
Springer
13 years 8 months ago
2012
Springer
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...
165
click to vote
FDL
2011
IEEE
14 years 5 months ago
2011
IEEE
—For the description of reactive systems, there is a large number of languages and formalisms, and depending on a particular application or design phase, one of them may be bette...
139
click to vote
CL
2006
Springer
15 years 6 months ago
2006
Springer
Meta programming is the act of reasoning about a computational system. For example, a program in Prolog can reason about a program written in Smalltalk. Reflection is a more power...