1376 search results - page 110 / 276 » Generating UML Models from Domain Patterns |
148
click to vote
SPIN
2012
Springer
13 years 5 months ago
2012
Springer
We report on the application of SPIN for model-checking C source code which is generated out of a textual domain-specific language (DSL). We have built a tool which automatically ...
142
click to vote
FLAIRS
2008
15 years 5 months ago
2008
One of the central problems in building broad-coverage story understanding systems is generating expectations about event sequences, i.e. predicting what happens next given some a...
132
click to vote
CAISE
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Though ontologies are widely used to solve some specific interoperability problems, there is no specific ontology defining what interoperability actually is, independentl...
163
click to vote
DATE
1999
IEEE
15 years 7 months ago
1999
IEEE
Boolean Satisfiability is a ubiquitous modeling tool in Electronic Design Automation, It finds application in test pattern generation, delay-fault testing, combinational equivalen...
122
click to vote
AISC
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. The same methodology is used to develop 3 different applications. We begin by using a very expressive, appropriate Domain Specific Language, to write down precise problem...