Search Sciweavers | Sciweavers

4919 search results - page 24 / 984

» A Process-Ontological Model for Software Engineering

click to vote

FATES
2006
Springer

121views Software Engineering» more FATES 2006»

Multi-paradigmatic Model-Based Testing

15 years 1 months ago

Download research.microsoft.com

Wolfgang Grieskamp

claim paper

Read More »

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 1 months ago

Download people.engr.ncsu.edu

Hong Mei, Tao Xie, Fuqing Yang

claim paper

Read More »

110

click to vote

ICFEM
2000
Springer

269views Software Engineering» more ICFEM 2000»

Formal Foundations of Object-Oriented Modeling Notations

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

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers