Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,475,658 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.
2018
2018
Specification Technique for Virtual Testbeds in Space Robotics
Ruslan Bernijazov
,
M. Hillebrand
,
Christian Bremer
,
L. Kaiser
,
R. Dumitrescu
2018
Corpus ID: 69673047
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
2014
2014
ControlML: A domain-specific modeling language in support of assessing internal controls and the internal control system
D. Heise
,
Stefan Strecker
,
U. Frank
International Journal of Accounting Information…
2014
Corpus ID: 43508742
2013
2013
Model-based specification and refinement of usage control policies
R. Neisse
,
Jörg Dörr
Eleventh Annual Conference on Privacy, Security…
2013
Corpus ID: 5871776
In existing usage control policy frameworks, policies consisting of authorizations and obligations are specified at a low level…
Expand
2012
2012
Model-based specification, analysis and synthesis of servo controllers for lithoscanners
R. Schiffelers
,
W. Alberts
,
J. Voeten
MPM '12
2012
Corpus ID: 13890739
ASML is the world's leading provider of complex lithography systems for the semiconductor industry. Such systems consist of…
Expand
2009
2009
Model-Based Specification of Flexible and Complex Bidding Strategies in Agent-Based Online Auctions
Benjamin J. Ford
,
Haiping Xu
,
Christopher K. Bates
,
S. Shatz
Sixth International Conference on Information…
2009
Corpus ID: 6642554
Current implementations of agent-based online auction systems only support simple predefined bidding strategies for bidding…
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
2002
2002
Model-Based Specification Animation Using Testgraphs
Tim Miller
,
P. Strooper
IEEE International Conference on Formal…
2002
Corpus ID: 29895450
This paper presents a framework for systematically animating specifications using testgraphs: directed graphs that partially…
Expand
2001
2001
The steam boiler in a unified theory of Z and CSP
J. Woodcock
,
Ana Cavalcanti
Proceedings Eighth Asia-Pacific Software…
2001
Corpus ID: 14649634
This paper presents a formalisation of the steam boiler problem using Circus, a unified theory of the formal specification…
Expand
1992
1992
A methodology for deriving an object-oriented design from functional specifications
V. Alagar
,
K. Periyasamy
Software Engineering Journal
1992
Corpus ID: 42062253
A recent paradigm in software engineering is object-oriented software development. However, object-oriented methods still remain…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE