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

15 years 12 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

15 years 5 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

16 years 18 days 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 18 days 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

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers