Search Sciweavers | Sciweavers

Even if the application developers produce software in accordance with the customer requirements, they cannot guarantee that the software will behave in a safe way during the lifet...

Torgrim Lauritsen, Tor Stålhane

claim paper

Read More »

118

click to vote

SIGSOFT
2009
ACM

91views Software Engineering» more SIGSOFT 2009»

Behavioral automata composition for automatic topology independent verification of parameterized systems

16 years 3 months ago

Download goedel.cs.uiowa.edu

Youssef Hanna, Samik Basu, Hridesh Rajan

claim paper

Read More »

click to vote

SIGSOFT
2003
ACM

124views Software Engineering» more SIGSOFT 2003»

Eos: instance-level aspects for integrated system design

16 years 3 months ago

Download www.cs.virginia.edu

Hridesh Rajan, Kevin J. Sullivan

claim paper

Read More »

click to vote

ICSE
2008
IEEE-ACM

114views Software Engineering» more ICSE 2008»

Leveraging analysis-aided design decision knowledge in UML-based development of embedded systems

16 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers