Search Sciweavers | Sciweavers

8083 search results - page 65 / 1617

» A Formalization of Software Architecture

click to vote

ISSE
2006

80views Security Privacy» more ISSE 2006»

Formalization and assessment of regulatory requirements for safety-critical software

13 years 7 months ago

Download core.ecu.edu

Sergiy A. Vilkomir, Jonathan P. Bowen, Aditya K. G...

claim paper

Read More »

click to vote

CSI
1998

62views more CSI 1998»

Frameworks: the future of formal software development?

13 years 7 months ago

Download eprints.gla.ac.uk

Richard O. Sinnott

claim paper

Read More »

click to vote

IJSEKE
1998

57views more IJSEKE 1998»

ISF: A Visual Formalism for Specifying Interconnection Styles for Software Design

13 years 7 months ago

Download www.cs.drexel.edu

Spiros Mancoridis

claim paper

Read More »

click to vote

ISSE
2010

128views Security Privacy» more ISSE 2010»

Formal methods integration in software engineering

13 years 6 months ago

Download www.artist-embedded.org

Isabelle Perseil, Laurent Pautet

claim paper

Read More »

click to vote

ICEIS
2010
IEEE

135views Information Technology» more ICEIS 2010»

User Context Models - A Framework to Ease Software Formal Verifications

13 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers