8083 search results - page 83 / 1617 » A Formalization of Software Architecture |
130
Voted
EFDBS
2003
15 years 1 months ago
2003
A definition of types in an information system is given from ld abstractions through data constructs, schema and definitions to physical data values. Category theory suggests tha...
111
Voted
TFM
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We summarise our experiences in teaching two formal methods courses at Pontificia Universidad Javeriana. The first course is a JML-based software engineering course. Th...
101
Voted
COMPSAC
2008
IEEE
15 years 7 months ago
2008
IEEE
Reliability-aware software architecture development has recently been gaining growing attention among software architects. This paper tackles the issue by introducing an ontology-...
67
Voted
DAC
1999
ACM
15 years 4 months ago
1999
ACM
101
Voted
VMCAI
2010
Springer
15 years 7 months ago
2010
Springer