Generation, composition, and verification of families of human-intensive systems

No abstract is available for this paper.

• Publication year

  2014

• Venue

  Software Product Lines Conference

• Publication date

  2014-09-15

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1145/2648511.2648533
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Process variability management in global software development: a case study

  2013cited by this paper
• Model checking software product lines with SNIP

  2012cited by this paper
• Tracing SPLs precisely and efficiently

  2012cited by this paper
• Requirements and constructors for tailoring software processes: a systematic literature review

  2012cited by this paper
• Characterizing process variation: NIER track

  2011cited by this paper
• A Model-Checking Tool for Families of Services

  2011cited by this paper
• Model checking lots of systems: efficient verification of temporal properties in software product lines

  2010cited by this paper
• Modeling and Analyzing Faults to Improve Election Process Robustness

  2010cited by this paper
• Categorizing and modeling variation in families of systems: a position paper

  2010cited by this paper
• Scoping software process lines

  2009cited by this paper
• FeatureIDE: A tool framework for feature-oriented software development

  2009cited by this paper
• Aspectual Feature Modules

  2008cited by this paper
• Type-Checking Software Product Lines - A Formal Approach

  2008cited by this paper
• Modeling and Model Checking Software Product Lines

  2008cited by this paper
• Granularity in software product lines

  2008cited by this paper
• Safe composition of product lines

  2007cited by this paper
• Building Software Process Line Architectures from Bottom Up

  2006cited by this paper
• Feature Diagrams: A Survey and a Formal Semantics

  2006cited by this paper
• Variability management in software product line engineering

  2006cited by this paper
• Flow analysis for verifying properties of concurrent software systems

  2004cited by this paper
• Feature-oriented programming and the AHEAD tool suite

  2004cited by this paper
• COVAMOF: A Framework for Modeling Variability in Software Product Families

  2004cited by this paper
• PROPEL: an approach supporting property elucidation

  2002cited by this paper
• Implementing product line variabilities

  2001cited by this paper
• Software Product Lines: Practices and Patterns

  2001cited by this paper
• Little-JIL/Juliette: a process definition language and interpreter

  2000cited by this paper
• Component-based product line development: the KobrA Approach

  2000cited by this paper
• Concurrency State Models and Java Programs

  2000cited by this paper
• Software Product-Line Engineering: A Family-Based Software Development Process

  1999cited by this paper
• Synergy between component-based and generative approaches

  1999cited by this paper
• Components and generative programming (invited paper)

  1999cited by this paper
• Aspect-Oriented Programming

  1999cited by this paper
• The Model Checker SPIN

  1997cited by this paper
• Aspect-oriented programming

  1996cited by this paper
• Using integer programming to verify general safety and liveness properties

  1995cited by this paper

• Semantic Technology in Business Process Modeling and Analysis. Part 1: Matching, Modeling Support, Correctness and Compliance

  2015cites this paper
• Variation in Human-Intensive Systems: a Conceptual Framework for Characterizing, Modeling, and Analyzing Families of Systems

  2015influential citation