loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05)
Checking and Transforming Models with AutoFOCUS
Greenbelt, Maryland
April 04-April 07
ISBN: 0-7695-2308-0
ASCII Text
x 
 
Bernhard Sch?tz, Peter Braun, Franz Huber, Alexander Wisspeintner, "Checking and Transforming Models with AutoFOCUS," Engineering of Computer-Based Systems, IEEE International Conference on the, pp. 307-314, 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05), 2005.
 
 
BibTex
x
 
@article{ 10.1109/ECBS.2005.24,
author = {Bernhard Sch?tz and Peter Braun and Franz Huber and Alexander Wisspeintner},
title = {Checking and Transforming Models with AutoFOCUS},
journal ={Engineering of Computer-Based Systems, IEEE International Conference on the},
volume = {0},
year = {2005},
isbn = {0-7695-2308-0},
pages = {307-314},
doi = {http://doi.ieeecomputersociety.org/10.1109/ECBS.2005.24},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Engineering of Computer-Based Systems, IEEE International Conference on the
TI - Checking and Transforming Models with AutoFOCUS
SN - 0-7695-2308-0
SP307
EP314
A1 - Bernhard Sch?tz,
A1 - Peter Braun,
A1 - Franz Huber,
A1 - Alexander Wisspeintner,
PY - 2005
KW - null
VL - 0
JA - Engineering of Computer-Based Systems, IEEE International Conference on the
ER -
 
Bernhard Sch?tz, Technical University M?nchen
Peter Braun, Technical University M?nchen
Franz Huber, Technical University M?nchen
Alexander Wisspeintner, Technical University M?nchen
The construction of increasingly sophisticated software systems demands techniques to reduce the complexity of the development process by supplying automated steps. In a model-based approach, operations to analyse and transform models of the system can be used to supply some automation for the development process. These operations can be embedded in a CASE-based approach to ensure conceptual consistency and support the application of design and process patterns.
Citation:
Bernhard Sch?tz, Peter Braun, Franz Huber, Alexander Wisspeintner, "Checking and Transforming Models with AutoFOCUS," ecbs, pp.307-314, 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.