Search Sciweavers | Sciweavers

8083 search results - page 69 / 1617

» A Formalization of Software Architecture

109

click to vote

SAC
2002
ACM

77views Applied Computing» more SAC 2002»

Formal verification of replication on a distributed data space architecture

15 years 6 months ago

Download ftp.inrialpes.fr

Jozef Hooman, Jaco van de Pol

claim paper

Read More »

132

click to vote

TOSEM
1998

100views more TOSEM 1998»

Errata: A Formal Basis for Architectural Connection

15 years 6 months ago

Download www.cparity.com

Robert Allen, David Garlan

claim paper

Read More »

120

Voted

ADAEUROPE
2009
Springer

121views Software Engineering» more ADAEUROPE 2009»

Formal Verification of AADL Specifications in the Topcased Environment

16 years 1 months ago

Download www.aadl.info

Bernard Berthomieu, Jean-Paul Bodeveix, Christelle...

claim paper

Read More »

117

click to vote

KBSE
2002
IEEE

126views Software Engineering» more KBSE 2002»

VIATRA - Visual Automated Transformations for Formal Verification and Validation of UML Models

15 years 11 months ago

Download www.inf.mit.bme.hu

György Csertán, Gábor Huszerl, ...

claim paper

Read More »

137

click to vote

CODES
1996
IEEE

106views Software Engineering» more CODES 1996»

A Co-Design Methodology Based on Formal Specification and High-level Estimation

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers