Search Sciweavers | Sciweavers

8083 search results - page 83 / 1617

» A Formalization of Software Architecture

click to vote

EFDBS
2003

145views Information Technology» more EFDBS 2003»

Four-Level-Architecture for Closure in Interoperability

13 years 9 months ago

Download computing.unn.ac.uk

A deﬁnition of types in an information system is given from ld abstractions through data constructs, schema and deﬁnitions to physical data values. Category theory suggests tha...

B. Nick Rossiter, Michael A. Heather

claim paper

Read More »

click to vote

TFM
2009
Springer

119views Formal Methods» more TFM 2009»

Teaching Formal Methods for the Unconquered Territory

14 years 2 months ago

Download www3.uma.pt

Abstract. We summarise our experiences in teaching two formal methods courses at Pontiﬁcia Universidad Javeriana. The ﬁrst course is a JML-based software engineering course. Th...

Néstor Cataño, Camilo Rueda

claim paper

Read More »

click to vote

COMPSAC
2008
IEEE

101views Software Engineering» more COMPSAC 2008»

OntoArch Approach for Reliability-Aware Software Architecture Development

14 years 2 months ago

Download www.mediateam.oulu.fi

Reliability-aware software architecture development has recently been gaining growing attention among software architects. This paper tackles the issue by introducing an ontology-...

Jiehan Zhou, Eila Niemelä, Antti Evesti, Anne...

claim paper

Read More »

click to vote

DAC
1999
ACM

108views Computer Architecture» more DAC 1999»

Software Environment for a Multiprocessor DSP

14 years 1 days ago