VSTTE 2010 - PDF Preprint Papers

VSTTE 2010 Verified Software: Tools

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed VSTTE-2010 Paper

click to vote

VSTTE
2010
Springer

69views Software Engineering» more VSTTE 2010»

An Approach of Requirements Tracing in Formal Refinement

1 years 3 months ago

Download www.stups.uni-duesseldorf.de

Formal modeling of computing systems yields models that are intended to be correct with respect to the requirements that have been formalized. The complexity of typical computing s...

Michael Jastram, Stefan Hallerstede, Michael Leusc...

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Related Conferences

Id	Views	Title	Status
1	69	An Approach of Requirements Tracing in Formal Refinement	claim
2	66	The L4.verified Project - Next Steps	claim
3	64	Reusable Verification of a Copying Collector	claim
4	61	Dafny Meets the Verification Benchmarks Challenge	claim
5	61	Towards Scalable Modular Checking of User-Defined Properties	claim
6	58	To Goto Where No Statement Has Gone Before	claim
7	58	Abstraction and Refinement for Local Reasoning	claim
8	49	Local Reasoning and Dynamic Framing for the Composite Pattern and Its Clients	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers