Search Sciweavers | Sciweavers

8083 search results - page 65 / 1617

» A Formalization of Software Architecture

110

Voted

ISSE
2006

80views Security Privacy» more ISSE 2006»

Formalization and assessment of regulatory requirements for safety-critical software

15 years 3 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?

15 years 3 months ago

Download eprints.gla.ac.uk

Richard O. Sinnott

claim paper

Read More »

Voted

IJSEKE
1998

57views more IJSEKE 1998»

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

15 years 3 months ago

Download www.cs.drexel.edu

Spiros Mancoridis

claim paper

Read More »

121

Voted

ISSE
2010

128views Security Privacy» more ISSE 2010»

Formal methods integration in software engineering

15 years 2 months ago

Download www.artist-embedded.org

Isabelle Perseil, Laurent Pautet

claim paper

Read More »

103

click to vote

ICEIS
2010
IEEE

135views Information Technology» more ICEIS 2010»

User Context Models - A Framework to Ease Software Formal Verifications

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers