Search Sciweavers | Sciweavers

8083 search results - page 69 / 1617

» A Formalization of Software Architecture

click to vote

SAC
2002
ACM

77views Applied Computing» more SAC 2002»

Formal verification of replication on a distributed data space architecture

13 years 7 months ago

Download ftp.inrialpes.fr

Jozef Hooman, Jaco van de Pol

claim paper

Read More »

click to vote

TOSEM
1998

100views more TOSEM 1998»

Errata: A Formal Basis for Architectural Connection

13 years 7 months ago

Download www.cparity.com

Robert Allen, David Garlan

claim paper

Read More »

click to vote

ADAEUROPE
2009
Springer

121views Software Engineering» more ADAEUROPE 2009»

Formal Verification of AADL Specifications in the Topcased Environment

14 years 2 months ago

Download www.aadl.info

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

claim paper

Read More »

click to vote

KBSE
2002
IEEE

126views Software Engineering» more KBSE 2002»

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

14 years 18 days ago

Download www.inf.mit.bme.hu

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

claim paper

Read More »

click to vote

CODES
1996
IEEE

106views Software Engineering» more CODES 1996»

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

13 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers