Search Sciweavers | Sciweavers

8623 search results - page 88 / 1725

» Software engineering for secure systems

click to vote

ICSE
2007
IEEE-ACM

88views Software Engineering» more ICSE 2007»

Reliability Analysis of Concurrent Systems Using LTSA

14 years 9 months ago

Download eprints.ucl.ac.uk

Genaína Nunes Rodrigues, David S. Rosenblum...

claim paper

Read More »

click to vote

EUROSPI
2005
Springer

116views Software Engineering» more EUROSPI 2005»

Safety Methods in Software Process Improvement

14 years 2 months ago

Download www.idi.ntnu.no

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 »

click to vote

SIGSOFT
2009
ACM

91views Software Engineering» more SIGSOFT 2009»

Behavioral automata composition for automatic topology independent verification of parameterized systems

14 years 9 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

14 years 9 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

14 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers