Search Sciweavers | Sciweavers

4919 search results - page 44 / 984

» A Process-Ontological Model for Software Engineering

121

KBSE
2010
IEEE

190views Software Engineering» more KBSE 2010»

Eliminating navigation errors in web applications via model checking and runtime enforcement of navigation state machines

15 years 1 months ago

Download www.leduotang.com

Sylvain Hallé, Taylor Ettema, Chris Bunch, ...

claim paper

Read More »

click to vote

KBSE
2010
IEEE

170views Software Engineering» more KBSE 2010»

Verification-driven slicing of UML/OCL models

15 years 1 months ago

Download www.lsi.upc.edu

Asadullah Shaikh, Robert Clarisó, Uffe Kock...

claim paper

Read More »

102

Voted

SSIRI
2010

103views Software Engineering» more SSIRI 2010»

Model-Based Argument Analysis for Evolving Security Requirements

15 years 1 months ago

Download mcs.open.ac.uk

Thein Than Tun, Yijun Yu, Charles B. Haley, Bashar...

claim paper

Read More »

click to vote

ICSE
2009
IEEE-ACM

88views Software Engineering» more ICSE 2009»

A formal model for self-adaptive and self-healing organizations

15 years 28 days ago

Download lirias.kuleuven.be

Robrecht Haesevoets, Danny Weyns, Tom Holvoet, Wou...

claim paper

Read More »

117

Voted

ICFEM
2010
Springer

152views Software Engineering» more ICFEM 2010»

Model Checking Hierarchical Probabilistic Systems

15 years 16 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers