Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,986,996 papers from all fields of science
Search
Sign In
Create Free Account
Model-based specification
Model-based specification is an approach to formal specification where the system specification is expressed as a system state model. This state…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
7 relations
Algebraic specification
Formal specification
Model-based testing
Set theory
Expand
Broader (1)
Formal methods
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
A UML Profile for the Specification of System Architecture Variants Supporting Design Space Exploration and Optimization
Alexander Wichmann
,
Ralph Maschotta
,
Francesco Bedini
,
Sven Jäger
,
A. Zimmermann
International Conference on Model-Driven…
2017
Corpus ID: 33763821
The optimization of complex systems as well as other design methods require a description of the system parameters, or the design…
Expand
2015
2015
A model-based approach for architecture-independent video decoding
Christian Schenk
,
Sonja Schimmler
,
Uwe M. Borghoff
International Conference on Collaboration…
2015
Corpus ID: 29608744
Digital videos play an important role and are generally worth being preserved not only for historical reasons. In order to be…
Expand
2012
2012
A Model-Driven Probabilistic Parser Generator
L. Quesada
,
Fernando Berzal Galiano
,
F. J. Cortijo
arXiv.org
2012
Corpus ID: 12344951
Existing probabilistic scanners and parsers impose hard constraints on the way lexical and syntactic ambiguities can be resolved…
Expand
2012
2012
Continuous probability distributions in model-based specification languages
Z. Andrews
2012
Corpus ID: 59974487
Model-based specification languages provide a means for obtaining assurance of dependability of complex computer-based systems…
Expand
2008
2008
Model-based specification and design of large-scale embedded signal processing systems
J. Lemaitre
2008
Corpus ID: 107808839
In the digital part of large-scale phase array radio telescopes, the dominant streaming signal processing part is configured at…
Expand
2004
2004
A Many-Valued Logic with Imperative Semantics for Incremental Specification of Timed Models
Ana Fernández Vilas
,
J. Pazos-Arias
,
R. D. Redondo
,
A. Gil-Solla
,
J. G. Duque
International Conference on Integrated Formal…
2004
Corpus ID: 26851783
In order to reconcile the state of the art and the state of the practice in software engineering, immediate goals aim to use…
Expand
2004
2004
Pattern-Based Generation of Requirements from System Models
N. Maiden
,
S. Manning
,
S. Jones
,
J. Greenwood
2004
Corpus ID: 156054517
Academic research has produced many model-based specification and analysis techniques, however most organisations continue to…
Expand
2004
2004
Model-Based Specification of Virtual Interaction Environments
A. Celentano
,
Fabio Pittarello
,
D. Fogli
,
P. Mussio
IEEE Symposium on Visual Languages
2004
Corpus ID: 13480730
This paper discusses a model-based approach to the design of complex interaction environments like virtual worlds, mixed and…
Expand
1998
1998
Adding real-time filters to object-oriented specification of time critical systems
K. Periyasamy
,
V. Alagar
Proceedings. 2nd IEEE Workshop on Industrial…
1998
Corpus ID: 20614410
We describe Real-Time Object-Z (RTOZ), a language with real-time extensions to Object-Z, and describe informally its semantics…
Expand
1995
1995
Specification and animation of a bank transfer
Y. Ledru
Proceedings 10th Knowledge-Based Software…
1995
Corpus ID: 10826263
The development of formal specifications may benefit from prototyping activities. The production of an executable model for a…
Expand