2514 search results - page 224 / 503 » The use of industrial-strength formal methods |
163
click to vote
COMPSAC
2007
IEEE
16 years 26 days ago
2007
IEEE
Program verification is a promising approach to improving program quality. To formally verify aspectoriented programs, we have to find a way to formally specify programs written i...
172
click to vote
FUZZIEEE
2007
IEEE
16 years 26 days ago
2007
IEEE
Compositional Modelling (CM) has been applied to synthesize automatically plausible scenarios in many problem domains with promising results. However, it is assumed that the generi...
202
click to vote
AGTIVE
2007
Springer
16 years 22 days ago
2007
Springer
The usability of model transformation languages depends on the abstractions one can work with in rules to perform complex operations on models. Recently, we have introduced a novel...
169
click to vote
CSL
2007
Springer
16 years 21 days ago
2007
Springer
Automata on infinite objects were the key to the solution of several fundamental decision problems in mathematics and logic. Today, automata on infinite objects are used for form...
166
click to vote
ECML
2007
Springer
16 years 21 days ago
2007
Springer
A general game player is an agent capable of taking as input a description of a game’s rules in a formal language and proceeding to play without any subsequent human input. To do...