714 search results - page 105 / 143 » Formal Verification of Cognitive Models |
135
click to vote
ENTCS
2006
15 years 1 months ago
2006
In this study, we introduce a model transformation tool for a time-triggered language: Giotto. The tool uses graphs to represent the source code (Giotto) and the target (the sched...
109
click to vote
RE
2001
Springer
15 years 6 months ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...
125
click to vote
ENTCS
2008
15 years 1 months ago
2008
Several recent research efforts have focused on the dynamic aspects of software architectures providing suitable models and techniques for handling the run-time modification of th...
120
click to vote
ITNG
2008
IEEE
15 years 8 months ago
2008
IEEE
Achieving a quality software system requires UML designers a good understanding of both design patterns and antipatterns. Unfortunately, UML models for real systems tend to be huge...
135
Voted
ECMDAFA
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. The Unified Modelling Language (UML) is intended to describe systems, but it is not clear what systems satisfy a given collection of UML diagrams. Stephen Mellor has desc...