1338 search results - page 149 / 268 » Consistent Code Generation from UML Models |
163
click to vote
BMCBI
2006
15 years 3 months ago
2006
Background: Horizontal gene transfer (HGT) is considered a strong evolutionary force shaping the content of microbial genomes in a substantial manner. It is the difference in spee...
126
click to vote
FMICS
2006
Springer
15 years 7 months ago
2006
Springer
Formal specifications are more useful and easier to develop if they are executable. In this work, we describe a system for executing specifications written in the Java Modeling Lan...
133
click to vote
AI
2008
Springer
15 years 3 months ago
2008
Springer
Representing and reasoning about time dependent information is a key research issue in many areas of computer science and artificial intelligence. One of the best known and widely...
138
click to vote
SEFM
2005
IEEE
15 years 8 months ago
2005
IEEE
The need for the B method first appeared in industry, and several commercial tools have been developed to support this formalism. However, few of these tools allow reasoning on t...
133
click to vote
FM
1998
Springer
15 years 7 months ago
1998
Springer
We give an overview of the enhanced VSE system which is a tool to formally specify and verify systems. It provides means for structuring speci cations and it supports the developme...