Sciweavers

1926 search results - page 162 / 386
» Modeling and Model Checking Software Product Lines
Sort
View
VMCAI
2009
Springer
16 years 1 months ago
An Abort-Aware Model of Transactional Programming
There has been a lot of recent research on transaction-based concurrent programming, aimed at offering an easier concurrent programming paradigm that enables programmers to better...
Kousha Etessami, Patrice Godefroid
INFSOF
2002
147views more  INFSOF 2002»
15 years 6 months ago
On the efficiency of domain-based COTS product selection method
Use of commercial-off-the-shelf (COTS) products is becoming a popular software development method. Current methods of selecting COTS products involve using the intuition of softwa...
Karl R. P. H. Leung, Hareton K. N. Leung
KBSE
2008
IEEE
16 years 24 days ago
Swarm Verification
Reportedly, supercomputer designer Seymour Cray once said that he would sooner use two strong oxen to plow a field than a thousand chickens. Although this is undoubtedly wise when...
Gerard J. Holzmann, Rajeev Joshi, Alex Groce
ECMDAFA
2005
Springer
96views Hardware» more  ECMDAFA 2005»
15 years 12 months ago
MDA Components: A Flexible Way for Implementing the MDA Approach
As the Model Driven Development (MDD) and Product Line Engineering (PLE) appear as major trends for reducing software development complexity and costs, an important missing stone b...
Reda Bendraou, Philippe Desfray, Marie-Pierre Gerv...
IEE
2008
116views more  IEE 2008»
15 years 6 months ago
Evaluating formal properties of feature diagram languages
: Feature diagrams (FDs) are a family of popular modelling languages, mainly used for managing variability in software product lines. FDs were first introduced by Kang et al. as pa...
Patrick Heymans, Pierre-Yves Schobbens, Jean-Chris...