274 search results - page 16 / 55 » The Maude Formal Tool Environment |
79
Voted
SIGSOFT
2010
ACM
14 years 9 months ago
2010
ACM
Overture is a community-based initiative that aims to develop a common open-source platform integrating a range of tools for constructing and analysing formal models of systems us...
139
click to vote
BIRTHDAY
2010
Springer
14 years 7 months ago
2010
Springer
Abstract Queueing Petri nets are a powerful formalism that can be exploited for modeling distributed systems and analyzing their performance and scalability. By combining the model...
93
Voted
ICSE
2009
IEEE-ACM
15 years 6 months ago
2009
IEEE-ACM
The paper presents Save-IDE, an Integrated Development Environment for the development of component-based embedded systems. Save-IDE supports efficient development of dependable ...
SELMAS
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. This paper presents an agent-oriented modelling language and environment CAMLE. It is based on the conceptual model of multi-agent systems (MAS) proposed and formally def...
106
click to vote
MATES
2004
Springer
15 years 4 months ago
2004
Springer
Most of the Agent-Oriented software engineering methodologies that have been developed in the last years tend to propose a model-based approach to software development. To be put i...