Sciweavers

82 search results - page 9 / 17
» An Approach to Software Artefact Specification for Supportin...
Sort
View
ICSE
2003
IEEE-ACM
14 years 20 days ago
A Tutorial on Feature Oriented Programming and Product-Lines
ct Feature Oriented Programming (FOP) is a design methodology and tools for program synthesis. The goal is to specify a target program in terms of the features that it offers, and ...
Don S. Batory
CAISE
1997
Springer
13 years 11 months ago
OO-METHOD: An OO Software Production Environment Combining Conventional and Formal Methods
OO-Method is an OO Methodology that blends the use of formal specification systems with conventional OO methodologies based on practice. In contrast to other approaches in this fi...
Oscar Pastor, Emilio Insfrán, Vicente Pelec...
JSW
2008
136views more  JSW 2008»
13 years 7 months ago
Collaborative Product Configuration: Formalization and Efficient Algorithms for Dependency Analysis
- In the Software Product Line approach, product configuration is a key activity in which stakeholders choose features for a product. This activity is critical in the sense that ca...
Marcílio Mendonça, Donald D. Cowan, ...
HICSS
2010
IEEE
199views Biometrics» more  HICSS 2010»
14 years 2 months ago
Software Entropy in Agile Product Evolution
As agile software development principles and methods are being adopted by large software product organizations it is important to understand the role of software entropy. That is,...
Geir Kjetil Hanssen, Aiko Fallas Yamashita, Reidar...
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, ...