Search Sciweavers | Sciweavers

4919 search results - page 67 / 984

» A Process-Ontological Model for Software Engineering

click to vote

ICSE
1999
IEEE-ACM

96views Software Engineering» more ICSE 1999»

Decoupling Synchronization from Local Control for Efficient Symbolic Model Checking of Statecharts

15 years 2 months ago

Download www.cs.washington.edu

William Chan, Richard J. Anderson, Paul Beame, Dav...

claim paper

Read More »

click to vote

ASWSD
2006
Springer

248views Software Engineering» more ASWSD 2006»

Towards Model-Driven Development of Hard Real-Time Systems

15 years 1 months ago

Download aswsd.ucsd.edu

Christian Ferdinand, Reinhold Heckmann, Hans-J&oum...

claim paper

Read More »

click to vote

ICSE
2000
IEEE-ACM

120views Software Engineering» more ICSE 2000»

Bandera: extracting finite-state models from Java source code

15 years 1 months ago

Download santos.cis.ksu.edu

James C. Corbett, Matthew B. Dwyer, John Hatcliff,...

claim paper

Read More »

click to vote

VAMOS
2008
Springer

110views Software Engineering» more VAMOS 2008»

Dealing with Changes in Service-Oriented Computing Through Integrated Goal and Variability Modelling

14 years 11 months ago

Download www.sse.uni-due.de

Roger Clotet, Deepak Dhungana, Xavier Franch, Paul...

claim paper

Read More »

click to vote

ICSOFT
2009

107views Software Engineering» more ICSOFT 2009»

Towards a Strategic Requirements Elicitation - A Proposal of the PRINCE Model

14 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers