Sciweavers

1120 search results - page 82 / 224
» Using Enterprise Architecture Models for System Quality Anal...
Sort
View
EUROMICRO
1996
IEEE
15 years 5 months ago
Behaviour-Preserving Transformations in SHE: A Formal Approach to Architecture Design
SHE (Software/Hardware Engineering) is an objectoriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal speci...
Jeroen Voeten, P. H. A. van der Putten, M. P. J. S...
139
Voted
CDVE
2007
Springer
218views Visualization» more  CDVE 2007»
15 years 7 months ago
Web-Based Engineering Portal for Collaborative Product Development
Nowadays, collaborative product development has become a strategic necessity to develop high quality products at low cost and with quick response time to market demand. Past decade...
Shuangxi Huang, Yushun Fan
MI
1993
15 years 2 months ago
Putting knowledge rich plan representations to use
AI planning research is now maturing and nding practical application in the commercial, industrial, engineering and defence sectors. This has led to a rapid expansion in the last ...
Austin Tate
CAISE
2005
Springer
15 years 7 months ago
An MDD annotation methodology for Semantic Enhanced Service Oriented Architectures
Service Oriented Architectures are increasingly being used to achieve interoperability among heterogeneous systems. SOAs help developers to integrate different architectures in ord...
Lorenzo Pondrelli
DAC
2010
ACM
15 years 5 months ago
Coverage in interpolation-based model checking
Coverage is a means to quantify the quality of a system specification, and is frequently applied to assess progress in system validation. Coverage is a standard measure in testin...
Hana Chockler, Daniel Kroening, Mitra Purandare