Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
2
views
1
references
Top references
cited by
0
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,937
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Applying Formal Methods: Testing, Performance, and M/E-Commerce
A Meta-model for TTCN-3
other
Author(s):
Ina Schieferdecker
,
George Din
Publication date
(Print):
2004
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
Road 2 Open Meta
Most cited references
1
Record
: found
Abstract
: not found
Book Chapter
: not found
A Metamodel for SDL-2000 in the Context of Metamodelling ULF
Joachim Fischer
,
Michael Piefel
,
Markus Scheidgen
(2005)
0
comments
Cited
2
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2004
Pages
: 366-379
DOI:
10.1007/978-3-540-30233-9_27
SO-VID:
fa750c83-de14-465b-9759-68fd85756cb5
License:
http://www.springer.com/tdm
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
Formal Analysis of the Internet Open Trading Protocol
pp. 16
Life-Cycle E-commerce Testing with OO-TTCN-3
pp. 44
An Approach for Assessment of Electronic Offers
pp. 58
A Decomposition Based Approach for Design of Supply Aggregation and Demand Aggregation Exchanges
pp. 72
A Construction Kit for Modeling the Security of M-commerce Applications
pp. 86
A Minimal Market Model in Ephemeral Markets
pp. 101
A Process-Oriented Approach Towards Structured Market Modelling
pp. 114
Formal Specification of Symbolic-Probabilistic Systems
pp. 128
How Synchronisation Strategy Approximation in PEPA Implementations Affects Passage Time Performance Results
pp. 143
A Bounded True Concurrency Process Algebra for Performance Evaluation
pp. 156
Branching Time Equivalences for Interactive Markov Chains
pp. 170
System Contents Versus System Delay for Discrete-Time Queueing Systems with Renewal Arrivals
pp. 184
Delay Analysis for a Discrete-Time GI-D-c Queue with Arbitrary-Length Service Times
pp. 196
Adaptive Fuzzy Queue Management and Congestion Avoidance in TCP/AQM Networks
pp. 209
Modeling and Analysis of Dual Block Multithreading
pp. 220
Performance Evaluation of a SNAP-Based Grid Resource Broker
pp. 233
Describing IEEE 802.11 Wireless Mechanisms by Using the π-Calculus and Performance Evaluation Process Algebra
pp. 248
An Analytical Design of a Practical Replication Protocol for Distributed Systems
pp. 262
PEPA Nets in Practice: Modelling a Decentralised Peer-to-Peer Emergency Medical Application
pp. 278
Integrating System Performance Engineering into MASCOT Methodology through Discrete-Event Simulation
pp. 293
Symbolic Performance and Dependability Evaluation with the Tool CASPA
pp. 308
Modeling and Testing Agent Systems Based on Statecharts
pp. 322
Testing of Autonomous Agents Described as Utility State Machines
pp. 337
Generation of Integration Tests for Self-Testing Components
pp. 351
Model-Checking Plus Testing: From Software Architecture Analysis to Code Testing
pp. 366
A Meta-model for TTCN-3
Similar content
3,937
Testing Grid Application Workflows Using TTCN-3
Authors:
Thomas Rings
,
Helmut Neukirchen
,
Jens Grabowski
Performance Analysis of Concurrent PCOs in TTCN-3
Authors:
Máté J. Csorba
,
Sándor Palugyai
,
Sarolta Dibuz
…
Test specification in TTCN using interactive editor
Authors:
S. Eswara
,
B Sarikaya
See all similar