by
Meseguer, José. editor.
Format:
Electronic Resources
Excerpt:
Programming -- An Algebra for Features and Feature Composition -- Petri Nets Are Dioids -- Towards an
by
Gurevich, Yuri. editor.
Format:
Electronic Resources
Excerpt:
to the convergence of software proofing and testing and feature current research work that combines
View Other Search Results
by
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662
Format:
Electronic Resources
Excerpt:
Representation by Decision Trees in Reactive Synthesis -- Feature-Guided Black-Box Safety Testing of Deep Neural
by
Maciaszek, Leszek A. editor.
Format:
Electronic Resources
Excerpt:
Analysis of Transport Systems -- Quantitative and Qualitative Empirical Analysis of Three Feature Modeling
by
Beckert, Bernhard. editor.
Format:
Electronic Resources
Excerpt:
inclusion in the book. The papers cover the area of convergence of software proofing and testing and feature
by
Hartman, Alan. editor.
Format:
Electronic Resources
Excerpt:
-- Synchronizing Cardinality-Based Feature Models and Their Specializations.
by
Grabowski, Jens. editor.
Format:
Electronic Resources
Excerpt:
TTEthernet Network -- Feature Location through the Combination of Run-time Architecture Models and
by
Bjørner, Dines. editor.
Format:
Electronic Resources
Excerpt:
unique feature, the book closes with short commentaries on the specification languages written by
by
Paech, Barbara. editor.
Format:
Electronic Resources
Excerpt:
Based Requirements Optimisation: Existing Work and Challenges -- Connecting Feature Models and AUTOSAR
by
Dumas, Marlon. editor.
Format:
Electronic Resources
Excerpt:
technology, and formal theories inspired by developments in the field of Web services. The papers feature
by
Zucker, Jean-Daniel. editor.
Format:
Electronic Resources
Excerpt:
Hierarchically Structured Class Taxonomies -- Feature-Discovering Approximate Value Iteration Methods -- Invited
by
Fiadeiro, José Luiz. editor.
Format:
Electronic Resources
Excerpt:
-- What’s in a Feature: A Requirements Engineering Perspective -- Formal Approach to Integrating Feature and
Limit Search Results
Narrowed by: