Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
41
views
27
references
Top references
cited by
4
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
3,512
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Fundamental Approaches to Software Engineering
Iterative and Incremental Model Generation by Logic Solvers
other
Author(s):
Oszkár Semeráth
,
András Vörös
,
Dániel Varró
Publication date
(Print):
2016
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Global Health Next Generation Network
Most cited references
27
Record
: found
Abstract
: not found
Article
: not found
Alloy: a lightweight object modelling notation
Daniel Jackson
(2002)
0
comments
Cited
62
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Validating UML and OCL models in USE by automatic snapshot generation
Mark Richters
,
Jørn Bohling
,
Martin Gogolla
(2005)
0
comments
Cited
19
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
The model transformation language of the VIATRA2 framework
Dániel Varró
,
Andras Balogh
(2007)
0
comments
Cited
17
times
– based on
0
reviews
Review now
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2016
Pages
: 87-103
DOI:
10.1007/978-3-662-49665-7_6
SO-VID:
fbe5307f-ae46-4f10-9c61-1b3023d529ed
License:
http://www.springer.com/tdm
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 3
The Death of Object-Oriented Programming
pp. 13
Automated Choreography Repair
pp. 31
A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs
pp. 49
ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters
pp. 66
Integrated Environment for Verifying and Running Distributed Components
pp. 87
Iterative and Incremental Model Generation by Logic Solvers
pp. 104
Automated Model Merge by Design Space Exploration
pp. 122
RuleMerger: Automatic Construction of Variability-Based Model Transformation Rules
pp. 141
Two-Step Transformation of Model Traversal EOL Queries for Large CDO Repositories
pp. 158
Mind the Gap! Automated Anomaly Detection for Potentially Unbounded Cardinality-Based Feature Models
pp. 179
Cut Branches Before Looking for Bugs: Sound Verification on Relaxed Slices
pp. 197
The Influences of Edge Instability on Change Propagation and Connectivity in Call Graphs
pp. 214
Modeling and Abstraction of Memory Management in a Hypervisor
pp. 231
Crowdsourced Bug Triaging: Leveraging Q&A Platforms for Bug Assignment
pp. 251
Model-Based Testing of Probabilistic Systems
pp. 269
An Iterative Decision-Making Scheme for Markov Decision Processes and Its Application to Self-adaptive Systems
pp. 287
Family-Based Modeling and Analysis for Probabilistic Systems – Featuring ProFeat
pp. 305
Statistical Model Checking of e-Motions Domain-Specific Modeling Languages
pp. 325
Towards Formal Proof Metrics
pp. 342
Reduction Rules for Colored Workflow Nets
pp. 359
Many-Valued Institutions for Constraint Specification
pp. 377
CafeInMaude: A CafeOBJ Interpreter in Maude
pp. 383
Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique
pp. 401
Hybrid Session Verification Through Endpoint API Generation
pp. 419
PVAIR: Partial Variable Assignment InterpolatoR
Similar content
3,512
Machine Learning Based Optimization Workflow for Tuning Numerical Settings of Differential Equation Solvers for Boundary Value Problems
Authors:
Viny Saajan Victor
,
Manuel Ettmüller
,
Andre Schmeißer
…
A stable fluid–structure-interaction solver for low-density rigid bodies using the immersed boundary projection method
Authors:
Uǧis Lācis
,
Kunihiko Taira
,
Shervin Bagheri
Arc-Consistency computes the minimal binarised domains of an STP. Use of the result in a TCSP solver, in a TCSP-based job shop scheduler, and in generalising Dijkstra's one-to-all algorithm
Authors:
Amar Isli
See all similar
Cited by
4
Symbolic Model Generation for Graph Properties
Authors:
Sven Schneider
,
Leen Lambers
,
Fernando Orejas
Continuing a Benchmark for UML and OCL Design and Analysis Tools
Authors:
Martin Gogolla
,
Jordi Cabot
Iterative Generation of Diverse Models for Testing Specifications of DSL Tools
Authors:
Oszkár Semeráth
,
Dániel Varró
See all cited by