Sciweavers

117 search results - page 10 / 24
» Platform-based product design and development: A knowledge-i...
Sort
View
FBT
1998
119views Formal Methods» more  FBT 1998»
13 years 9 months ago
Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata
We build on work in designing modeling languages for hybrid systems in the development of CTA, the Cottbus Timed Automata. Our design features a facility to specify a hybrid system...
Dirk Beyer, Heinrich Rust
IJAOSE
2008
97views more  IJAOSE 2008»
13 years 7 months ago
Formal driven prototyping approach for multiagent systems
: Even if Multiagent Systems (MASs) are recognised as an appealing paradigm for designing many computer systems ranging from complex distributed systems to intelligent software app...
Vincent Hilaire, Pablo Gruer, Abderrafiaa Koukam, ...
SEKE
2007
Springer
14 years 1 months ago
Smooth Quality Oriented Component Integration through Product Line Based Aspect-Oriented Component Adaptation
Mismatches in QoS (Quality of Service) often appears as a major but implicit hurdle to smooth component integration. This paper presents a solution to the above problem through pr...
Yankui Feng, Xiaodong Liu, Jon M. Kerridge
FIW
2007
157views Communications» more  FIW 2007»
13 years 9 months ago
Managing Feature Interaction by Documenting and Enforcing Dependencies in Software Product Lines
Software product line engineering provides a systematic approach for the reuse of software assets in the production of similar software systems. For such it employs different varia...
Roberto Silveira Silva Filho, David F. Redmiles
ICSE
2010
IEEE-ACM
13 years 6 months ago
Staying aware of relevant feeds in context
To stay aware of relevant information and avoid productivity loss, a developer has to continuously read through new incoming information. Our approach supports the integration of ...
Thomas Fritz