Search Sciweavers | Sciweavers

56 search results - page 4 / 12

» The Priced-Timed Maude Tool

click to vote

ENTCS
2006

114views more ENTCS 2006»

Prototyping SOS Meta-theory in Maude

14 years 9 months ago

Download www.win.tue.nl

We present a prototype implementation of SOS meta-theory in the Maude term rewriting language. The prototype defines the basic concepts of SOS meta-theory (e.g., transition formul...

Mohammad Reza Mousavi, Michel A. Reniers

claim paper

Read More »

click to vote

ENTCS
2008

61views more ENTCS 2008»

Maude Object-Oriented Action Tool

14 years 9 months ago

Download www.mat.unb.br

André Murbach Maidl, Cláudio Carvilh...

claim paper

Read More »

click to vote

ENTCS
2007

75views more ENTCS 2007»

Maude MSOS Tool

14 years 9 months ago

Download maude-msos-tool.sourceforge.net

Fabricio Chalub, Christiano Braga

claim paper

Read More »

click to vote

JOT
2007

57views more JOT 2007»

Formal and Tool Support for Model Driven Engineering with Maude

14 years 9 months ago

Download www.jot.fm

José Raúl Romero, José Eduard...

claim paper

Read More »

136

click to vote

FASE
2004
Springer

183views Software Engineering» more FASE 2004»

Specification and Analysis of Real-Time Systems Using Real-Time Maude

15 years 1 months ago

Download heim.ifi.uio.no

Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...

Peter Csaba Ölveczky, José Meseguer

claim paper

Read More »

« Prev « First page 4 / 12 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers