1895 search results - page 248 / 379 » Using ATL for Checking Models |
167
click to vote
SIGSOFT
2007
ACM
16 years 5 months ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
134
click to vote
BMCBI
2007
15 years 5 months ago
2007
Background: The need to build a tool to facilitate the quick creation and editing of models encoded in the Systems Biology Markup language (SBML) has been growing with the number ...
140
click to vote
DLOG
2009
15 years 2 months ago
2009
Abstract. In this paper, we describe an approach for ontology comprehension support called model exploration in which models for ontologies are generated and presented interactivel...
153
Voted
COMPSAC
2009
IEEE
15 years 9 months ago
2009
IEEE
Given the rapid rise of model-driven software development methodologies, it is highly desirable that tools be developed to support the use of design patterns in this context. This...
147
click to vote
AOSD
2012
ACM
14 years 20 days ago
2012
ACM
In this work we consider specification and compositional verification for interference detection when several aspects are woven together under joint-weaving semantics without re...