Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

Search Results

Display Settings
Results per page: 10
Sort By: Relevance
Filter
  • 1-10 of  13 results for ""Requirements/Specifications""

Your Filters

Collection : Universite De Rennes 1
Reset filters
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

MPLM -- MaTeLo Product Line Manager

Subjects: MaTeLo; Product Line Manager; Model-based Testing toolFlorence; ItalyFlorence, Italy

  • Source: 18th International Software Product Line Conference (2014)https://inria.hal.science/hal-0102515918th International Software Product Line Conference (2014), Sep 2014, Florence, Italy

Record details

Read More Add to Saved list
×
Conference

Deriving Usage Model Variants for Model-based Testing: An Industrial Case Study

Subjects: Usage Model; Product Line; Orthogonal Variability ModelTianjin; China

  • Source: 19th International Conference on Engineering of Complex Computer Systems (ICECCS 2014)https://inria.hal.science/hal-0100209919th International Conference on Engineering of Complex Computer

Record details

Read More Add to Saved list
×
Conference

Combining Aspect-Oriented Modeling with Property-Based Reasoning to Improve User Interface Adaptation

Subjects: MDE; user interface; contextPise; Italy

  • Source: ACM SIGCHI Symposium on Engineering Interactive Computing Systems ; https://hal.inria.fr/inria-00590891 ; ACM SIGCHI Symposium on Engineering Interactive Computing Systems, Jun 2011, Pise, Italy.

Record details

Read More Add to Saved list
×
Conference

Liability in Software Engineering Overview of the LISE Approach and Illustration on a Case Study

Subjects: Liability; Contract; Formal MethodsCape Town; South AfricaCape Town, South Africa

  • Source: ACM/IEEE 32nd International Conf. on Software Engineering (ICSE 2010) ; https://inria.hal.science/inria-00472287 ; ACM/IEEE 32nd International Conf. on Software Engineering (ICSE 2010), ACM/IEEE, May

Record details

Read More Add to Saved list
×
Conference

Translating Pi-Calculus into LOTOS NT

Subjects: pi-calculus; process algebra; LOTOS NTNancy; France

  • Source: Integrated Formal Methods - IFM 2010 ; https://inria.hal.science/inria-00524586 ; Integrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct 2010, Nancy, France. pp.229-244

Record details

Read More Add to Saved list
×
Conference

Why are modalities good for Interface Theories?

Subjects: component-based system; interface-based design; modal specificationAugsburg; Germany

  • Source: The 9th International Conference on Application of Concurrency to System Design ; https://inria.hal.science/inria-00389051 ; The 9th International Conference on Application of Concurrency to System

Record details

Read More Add to Saved list
×
Academic Journal

Consistency Checking in Early Software Product Line Specifications -The VCC Approach

Subjects: Model-Based Software Product Lines; Variability Modeling; Verification

  • Source: ISSN: 0948-695X.

Record details

Read More Add to Saved list
×
Report

Logically timed specifications in the AADL : a synchronous model of computation and communication (recommendations to the SAE committee on AADL)

Subjects: embedded!system!design; !formal!semantics!and!analysis; !synchronous!programming

  • Source: https://inria.hal.science/hal-00970244 ; [Technical Report] RT-0446, INRIA. 2014, pp.27.

Record details

Read More Add to Saved list
×
Report

Contracts for System Design

Subjects: system design; component based design; contract

  • Source: https://inria.hal.science/hal-00757488 ; [Research Report] RR-8147, INRIA. 2012, pp.65.

Record details

Read More Add to Saved list
×
Report

Liability in Software Engineering: Overview of the LISE Approach and Illustration on a Case Study

Subjects: Formal Methods; Specification; Defects

  • Source: https://inria.hal.science/inria-00440437 ; [Research Report] RR-7148, INRIA. 2009, pp.23.

Record details

Read More Add to Saved list
×
  • 1-10 of  13 results for ""Requirements/Specifications""