Sciweavers

6274 search results - page 129 / 1255
» Proofs, Programs, Processes
Sort
View
CADE
2007
Springer
15 years 10 months ago
The Heterogeneous Tool Set (Hets)
Abstract. Heterogeneous specification becomes more and more important because complex systems are often specified using multiple viewpoints, involving multiple formalisms. Moreover...
Till Mossakowski, Christian Maeder, Klaus Lüt...
IFIP
2004
Springer
15 years 11 months ago
Behavioural Equivalences for Dynamic Web Data
Peer-to-peer systems, exchanging dynamic documents through Web services, are a simple and effective platform for data integration on the internet. Dynamic documents can contain b...
Sergio Maffeis, Philippa Gardner
FECS
2006
112views Education» more  FECS 2006»
15 years 7 months ago
An Assessment Methodology and Process for Standardized Disciplines
- We present a generic academic program assessment methodology and process encompassing and unifying the outcome-driven approach of accreditation agencies, such as ABET/CAC, with t...
David Workman, Lisa (Chuck) Massi