2881 search results - page 356 / 577 » Model Checking for Programming Languages using Verisoft |
188
click to vote
IJAOSE
2010
15 years 5 months ago
2010
CASO is an agent-oriented programming language based on AgentSpeak(L), one of the most influential abstract languages based on the BDI (Beliefs-Desires-Intentions) architecture. ...
173
click to vote
EMSOFT
2009
Springer
16 years 1 months ago
2009
Springer
An important step in model-based embedded system design consists in mapping functional specifications and their tasks/operations onto execution architectures and their ressources...
199
click to vote
OWLED
2008
15 years 8 months ago
2008
Product development requires the ability to check design consistency, to verify design properties, and to answer questions about a design's possible implementations. These tas...
161
click to vote
FORMATS
2009
Springer
16 years 1 months ago
2009
Springer
Recently, the model of weighted timed automata has gained interest within the real-time community. In a previous work, we built a bridge to the theory of weighted automata and intr...
174
click to vote
TOSEM
2002
15 years 6 months ago
2002
d Abstraction of Class Diagrams ALEXANDER EGYED Teknowledge Corporation Designers can easily become overwhelmed with details when dealing with large class diagrams. icle presents a...