Search Sciweavers | Sciweavers

9974 search results - page 103 / 1995

» Software Interconnection Models

140

click to vote

ICFEM
2000
Springer

269views Software Engineering» more ICFEM 2000»

Formal Foundations of Object-Oriented Modeling Notations

15 years 5 months ago

Download www.lifia.info.unlp.edu.ar

Claudia Pons, Gabriel Baum

claim paper

Read More »

click to vote

AMAST
1995
Springer

114views Software Engineering» more AMAST 1995»

Petri Nets, Traces, and Local Model Checking

15 years 5 months ago

Download www.brics.dk

Allan Cheng

claim paper

Read More »

click to vote

ESEC
1995
Springer

104views Software Engineering» more ESEC 1995»

An Integrated Formal Model of Scenarios Based on Statecharts

15 years 5 months ago

Download www.ifi.uzh.ch

Martin Glinz

claim paper

Read More »

click to vote

AOSD
2009
ACM

148views Software Engineering» more AOSD 2009»

Modeling scenario variability as crosscutting mechanisms

15 years 5 months ago

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

Rodrigo Bonifácio, Paulo Borba

claim paper

Read More »

click to vote

EUROMICRO
2009
IEEE

150views Software Engineering» more EUROMICRO 2009»

Multi-level Modeling for Industrial Automation Systems

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers