A systematic review of UML model consistency management
FJ Lucas, F Molina, A Toval - Information and Software technology, 2009 - Elsevier
Information System (IS) development has been beset by consistency problems since its
infancy. These problems are greater still in UML software development, and are principally …
infancy. These problems are greater still in UML software development, and are principally …
Executable structural operational semantics in Maude
A Verdejo, N Martí-Oliet - The Journal of Logic and Algebraic Programming, 2006 - Elsevier
This paper describes in detail how to bridge the gap between theory and practice when
implementing in Maude structural operational semantics described in rewriting logic, where …
implementing in Maude structural operational semantics described in rewriting logic, where …
Domain Science and Engineering
D Bjørner - Monographs in Theoretical Computer Science. An …, 2021 - Springer
A Foundation for Software Development Dines Bjørner Page 1 Domain Science and Engineering
A Foundation for Software Development Dines Bjørner Monographs in Theoretical Computer …
A Foundation for Software Development Dines Bjørner Monographs in Theoretical Computer …
Checking and correcting behaviors of Java programs at runtime with Java-MOP
F Chen, M d'Amorim, G Roşu - Electronic Notes in Theoretical Computer …, 2006 - Elsevier
Monitoring-oriented programming (MOP) is a software development and analysis technique
in which monitoring plays a fundamental role. MOP users can add their favorite or domain …
in which monitoring plays a fundamental role. MOP users can add their favorite or domain …
A Church-Rosser checker tool for conditional order-sorted equational Maude specifications
F Durán, J Meseguer - International Workshop on Rewriting Logic and its …, 2010 - Springer
Abstract The Church-Rosser property, together with termination, is essential for an
equational specification to have good executability conditions, and also for having a …
equational specification to have good executability conditions, and also for having a …
Maude's module algebra
F Durán, J Meseguer - Science of Computer Programming, 2007 - Elsevier
The reflective capabilities of rewriting logic and their efficient implementation in the Maude
language can be exploited to endow a reflective language like Maude with a module …
language can be exploited to endow a reflective language like Maude with a module …
A run-time environment for concurrent objects with asynchronous method calls
EB Johnsen, O Owe, EW Axelsen - Electronic Notes in Theoretical …, 2005 - Elsevier
A distributed system may be modeled by objects that run concurrently, each with its own
processor, and communicate by remote method calls. However objects may have to wait for …
processor, and communicate by remote method calls. However objects may have to wait for …
System BV without the equalities for unit
O Kahramanoğulları - Computer and Information Sciences-ISCIS 2004 …, 2004 - Springer
Abstract System BV is an extension of multiplicative linear logic with a non-commutative self-
dual operator. In this paper, we present systems equivalent to system BV where equalities …
dual operator. In this paper, we present systems equivalent to system BV where equalities …
A rewriting logic framework for soft constraints
M Wirsing, G Denker, C Talcott, A Poggio… - Electronic Notes in …, 2007 - Elsevier
Soft constraints extend classical constraints to deal with non-functional requirements, over-
constrained problems and preferences. Bistarelli, Montanari and Rossi have developed a …
constrained problems and preferences. Bistarelli, Montanari and Rossi have developed a …
Real-time maude 2.1
PC Ölveczky, J Meseguer - Electronic Notes in Theoretical Computer …, 2005 - Elsevier
Real-Time Maude 2.1 is an extension of Full Maude 2.1 supporting the formal specification
and analysis of real-time and hybrid systems. Symbolic simulation, search and model …
and analysis of real-time and hybrid systems. Symbolic simulation, search and model …