Search Sciweavers | Sciweavers

4919 search results - page 24 / 984

» A Process-Ontological Model for Software Engineering

166

Voted

FATES
2006
Springer

121views Software Engineering» more FATES 2006»

Multi-paradigmatic Model-Based Testing

15 years 11 months ago

Download research.microsoft.com

Wolfgang Grieskamp

claim paper

Read More »

166

click to vote

COMPSAC
2001
IEEE

133views Software Engineering» more COMPSAC 2001»

JBOORET: an Automated Tool to Recover OO Design and Source Models

15 years 11 months ago

Download people.engr.ncsu.edu

Hong Mei, Tao Xie, Fuqing Yang

claim paper

Read More »

223

click to vote

ICFEM
2000
Springer

269views Software Engineering» more ICFEM 2000»

Formal Foundations of Object-Oriented Modeling Notations

15 years 11 months ago

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

Claudia Pons, Gabriel Baum

claim paper

Read More »

157

click to vote

AMAST
1995
Springer

114views Software Engineering» more AMAST 1995»

Petri Nets, Traces, and Local Model Checking

15 years 11 months ago

Download www.brics.dk

Allan Cheng

claim paper

Read More »

154

click to vote

ESEC
1995
Springer

104views Software Engineering» more ESEC 1995»

An Integrated Formal Model of Scenarios Based on Statecharts

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers