Sciweavers

140 search results - page 5 / 28
» Formal Modeling for Product Families Engineering
Sort
View
SPLC
2010
13 years 5 months ago
Stratified Analytic Hierarchy Process: Prioritization and Selection of Software Features
Product line engineering allows for the rapid development of variants of a domain specific application by using a common set of reusable assets often known as core assets. Variabil...
Ebrahim Bagheri, Mohsen Asadi, Dragan Gasevic, Sam...
FORTE
1996
13 years 8 months ago
Formal Description Techniques - How Formal and Descriptive are they?
I discuss formal description techniques (FDTs) as they are applied in practice in software and system engineering. Their quality can be measured by their formality, descriptivenes...
Manfred Broy
CDVE
2007
Springer
218views Visualization» more  CDVE 2007»
14 years 1 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
ICFEM
1998
Springer
13 years 11 months ago
A Process Algebra Based Verification of a Production System
Studying industrial systems by simulation enables the designer to study the dynamic behaviour and to determine some characteristics of the system. Unfortunately, simulation also h...
J. J. T. Kleijn, J. E. Rooda, Michel A. Reniers
SIGSOFT
1998
ACM
13 years 11 months ago
Formal Modeling and Analysis of the HLA Component Integration Standard
An increasingly important trend in the engineering of complex systems is the design of component integration standards. Such standards de ne rules of interaction and shared commun...
Robert Allen, David Garlan