Search Sciweavers | Sciweavers

9006 search results - page 22 / 1802

» Modeling Software

127

click to vote

AMAST
1995
Springer

114views Software Engineering» more AMAST 1995»

Petri Nets, Traces, and Local Model Checking

15 years 9 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 9 months ago

Download www.ifi.uzh.ch

Martin Glinz

claim paper

Read More »

135

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 »

128

Voted

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 »

144

click to vote

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