Search Sciweavers | Sciweavers

9006 search results - page 22 / 1802

» Modeling Software

130

Voted

AMAST
1995
Springer

114views Software Engineering» more AMAST 1995»

Petri Nets, Traces, and Local Model Checking

15 years 10 months ago

Download www.brics.dk

Allan Cheng

claim paper

Read More »

129

click to vote

ESEC
1995
Springer

104views Software Engineering» more ESEC 1995»

An Integrated Formal Model of Scenarios Based on Statecharts

15 years 10 months ago

Download www.ifi.uzh.ch

Martin Glinz

claim paper

Read More »

136

Voted

AOSD
2009
ACM

148views Software Engineering» more AOSD 2009»

Modeling scenario variability as crosscutting mechanisms

15 years 9 months ago

Download www.les.inf.puc-rio.br

Rodrigo Bonifácio, Paulo Borba

claim paper

Read More »

134

click to vote

EUROMICRO
2009
IEEE

150views Software Engineering» more EUROMICRO 2009»

Multi-level Modeling for Industrial Automation Systems

15 years 9 months ago

Download embeddedcmmi.at

Thomas Aschauer, Gerd Dauenhauer, Wolfgang Pree

claim paper

Read More »

148

Voted

CBSE
2008
Springer

125views Software Engineering» more CBSE 2008»

Model Checking of Control-User Component-Based Parametrised Systems

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers