UML The Unified Modeling Language, Modeling Languages and Applications
|
|
|
- Bertram Whitehead
- 5 years ago
- Views:
Transcription
1 Lecture Notes in Computer Science 2863 UML The Unified Modeling Language, Modeling Languages and Applications 6th International Conference San Francisco, CA, USA, October 20-24, 2003, Proceedings Bearbeitet von Perdita Stevens, Jon Whittle, Grady Booch 1. Auflage Taschenbuch. xiv, 418 S. Paperback ISBN Format (B x L): 15,5 x 23,5 cm Gewicht: 1350 g Weitere Fachgebiete > EDV, Informatik > Hardwaretechnische Grundlagen > Systemverwaltung & Management schnell und portofrei erhältlich bei Die Online-Fachbuchhandlung beck-shop.de ist spezialisiert auf Fachbücher, insbesondere Recht, Steuern und Wirtschaft. Im Sortiment finden Sie alle Medien (Bücher, Zeitschriften, CDs, ebooks, etc.) aller Verlage. Ergänzt wird das Programm durch Services wie Neuerscheinungsdienst oder Zusammenstellungen von Büchern zu Sonderpreisen. Der Shop führt mehr als 8 Millionen Produkte.
2 Table of Contents Inivited Talk 1 Agile Processes: Developing Your Own Secret Recipes... 1 Peter Coad Practical Model Management Difference and Union of Models... 2 Marcus Alanen, Ivan Porres GREAT: UML Transformation Tool for Porting Middleware Applications Alexander Christoph, Matthias M. Müller Model-Centric Engineering with the Evolution and Validation Environment Jörn Guy Süß, Andreas Leicher, Herbert Weber, Ralf-D. Kutsche Time and Quality of Service Representing Temporal Information in UML Jordi Cabot, Antoni Olivé, Ernest Teniente Formal Semantics of UML with Real-Time Constructs Subash Shankar, Sinan Asa A QoS-Oriented Extension of UML Statecharts David N. Jansen, Holger Hermanns, Joost-Pieter Katoen Short Tool Papers CheckVML: A Tool for Model Checking Visual Modeling Languages Ákos Schmidt, Dániel Varró A Workbench to Experiment on New Model Engineering Applications Ralph-Johan Back, Dag Björklund, Johan Lilius, Luka Milovanov, Ivan Porres ProGUM-Web: Tool Support for Model-Based Development of Web Applications Marc Lohmann, Stefan Sauer, Tim Schattkowsky
3 XII Table of Contents Composition and Architecture On the Key Role of Compositioning Object-Oriented Modelling Friedrich Steimann, Jens Gößner, Thomas Mück Compositional and Relational Reasoning during Class Abstraction Alexander Egyed Encoding Informal Architectural Descriptions with UML: An Experience Report Yaojin Yang, Jianli Xu Inivited Talk 2 UML/MDA Reality Check: Heterogenous Architecture Style Nicolas F. Rouquette Transformation Towards Automating Source-Consistent UML Refactorings Pieter Van Gorp, Hans Stenten, Tom Mens, Serge Demeyer Model Refactorings as Rule-Based Update Transformations Ivan Porres Reflective Model Driven Engineering Jean Bézivin, Nicolas Farcet, Jean-Marc Jézéquel, Benoît Langlois, Damien Pollet The Web A Model-Driven Runtime Environment for Web Applications Joerg Pleumann, Stefan Haustein Using UML and XMI for Generating Adaptive Navigation Sequences in Web-Based Systems Peter Dolog, Wolfgang Nejdl Platform Independent Web Application Modeling Pierre-Alain Muller, Philippe Studer, Jean Bézivin Testing and Validation Rigorous Testing by Merging Structural and Behavioral UML Representations Orest Pilskalns, Anneliese Andrews, Sudipto Ghosh, Robert France Towards Automated Support for Deriving Test Data from UML Statecharts Lionel C. Briand, Jim Cui, Yvan Labiche
4 Table of Contents XIII Validation of UML and OCL Models by Automatic Snapshot Generation Martin Gogolla, Jörn Bohling, Mark Richters Improving UML/OCL A Critique of UML s Definition of the Use-Case Class Sadahiro Isoda Modelling Database Views with Derived Classes in the UML/OCL-Framework Hermann Balsters An OCL Extension for Low-Coupling Preserving Contracts Isabel Nunes Invited Talk 3 What Is the Point of the UML? Martin Fowler Consistency Using Description Logic to Maintain Consistency between UML Models Ragnhild Van Der Straeten, Tom Mens, Jocelyn Simmonds, Viviane Jonckers Modeling and Testing Legacy Data Consistency Requirements Jan Pettersen Nytun, Christian S. Jensen The Consistency Workbench: A Tool for Consistency Management in UML-Based Development Gregor Engels, Reiko Heckel, Jochen M. Küster Methodology Developing Safety-Critical Systems with UML Jan Jürjens Consistent and Complete Access Control Policies in Use Cases Khaled Alghathbar, Duminda Wijesekera STAIRS - Steps to Analyze Interactions with Refinement Semantics Øystein Haugen, Ketil Stølen Workshops and Tutorials Workshops at the UML 2003 Conference Ana Moreira
5 XIV Table of Contents Tutorials at the UML 2003 Conference João Araújo Author Index
X.media.publishing. Multimedia Systems. Bearbeitet von Ralf Steinmetz, Klara Nahrstedt
X.media.publishing Multimedia Systems Bearbeitet von Ralf Steinmetz, Klara Nahrstedt 1. Auflage 2004. Buch. xvi, 466 S. Hardcover ISBN 978 3 540 40867 3 Format (B x L): 17,8 x 23,5 cm Gewicht: 2510 g Weitere
Enabling Flexibility in Process-Aware Information Systems
Enabling Flexibility in Process-Aware Information Systems Challenges, Methods, Technologies Bearbeitet von Manfred Reichert, Barbara Weber 1. Auflage 2012. Buch. xviii, 518 S. Hardcover ISBN 978 3 642
The Cinderella.2 Manual
The Cinderella.2 Manual Working with The Interactive Geometry Software Bearbeitet von Ulrich H Kortenkamp, Jürgen Richter-Gebert 1. Auflage 2012. Buch. xiv, 458 S. Hardcover ISBN 978 3 540 34924 2 Format
Discrete, Continuous, and Hybrid Petri Nets
Discrete, Continuous, and Hybrid Petri Nets Bearbeitet von René David, Hassane Alla 1. Auflage 2004. Buch. XXII, 570 S. Hardcover ISBN 978 3 540 22480 8 Format (B x L): 15,5 x 23,5 cm Gewicht: 2080 g Weitere
Applied Information Security
Applied Information Security A Hands-on Approach Bearbeitet von David Basin, Patrick Schaller, Michael Schläpfer 1. Auflage 2011. Buch. xiv, 202 S. Hardcover ISBN 978 3 642 24473 5 Format (B x L): 15,5
SCI: Scalable Coherent Interface
Lecture Notes in Computer Science 1734 SCI: Scalable Coherent Interface Architecture and Software for High-Performance Compute Clusters Bearbeitet von Hermann Hellwagner, Alexander Reinefeld 1. Auflage
Model-Driven Design Using Business Patterns
Model-Driven Design Using Business Patterns Bearbeitet von Pavel Hruby 1. Auflage 2006. Buch. xvi, 368 S. Hardcover ISBN 978 3 540 30154 7 Format (B x L): 15,5 x 23,5 cm Gewicht: 1590 g Wirtschaft > Volkswirtschaft
Payment Technologies for E-Commerce
Payment Technologies for E-Commerce Bearbeitet von Weidong Kou 1. Auflage 2003. Buch. IX, 334 S. Hardcover ISBN 978 3 540 44007 9 Format (B x L): 15,5 x 23,5 cm Gewicht: 1470 g Wirtschaft > Spezielle Betriebswirtschaft
IEC : Programming Industrial Automation Systems
IEC 61131-3: Programming Industrial Automation Systems Concepts and Programming Languages, Requirements for Programming Systems, Decision-Making Aids Bearbeitet von Karl-Heinz John, Michael Tiegelkamp
Springer Monographs in Mathematics. Set Theory. The Third Millennium Edition, revised and expanded. Bearbeitet von Thomas Jech
Springer Monographs in Mathematics Set Theory The Third Millennium Edition, revised and expanded Bearbeitet von Thomas Jech 3rd rev. ed. Corr. 4th printing. Softcover version of original hardcover edition
Concurrent Programming: Algorithms, Principles, and Foundations
Concurrent Programming: Algorithms, Principles, and Foundations Algorithms, Principles, and Foundations Bearbeitet von Michel Raynal 1. Auflage 2012. Buch. xxxii, 516 S. Hardcover ISBN 978 3 642 32026
Object-Process Methodology
Object-Process Methodology A Holistic Systems Paradigm Bearbeitet von Dov Dori, E.F Crawley 1. Auflage 2002. Buch. xxv, 455 S. Hardcover ISBN 978 3 540 65471 1 Format (B x L): 15,5 x 23,5 cm Gewicht: 1890
Group-based Cryptography
Group-based Cryptography Bearbeitet von Alexei Myasnikov, Vladimir Shpilrain, Alexander Ushakov 1. Auflage 2008. Taschenbuch. xv, 183 S. Paperback ISBN 978 3 7643 8826 3 Format (B x L): 17 x 24 cm Gewicht:
VLSI-Design of Non-Volatile Memories
VLSI-Design of Non-Volatile Memories Bearbeitet von Giovanni Campardo, Rino Micheloni, David Novosel 1. Auflage 2005. Buch. xxviii, 582 S. Hardcover ISBN 978 3 540 20198 4 Format (B x L): 15,5 x 23,5 cm
Model Driven Architecture and Ontology Development
Model Driven Architecture and Ontology Development Foreword by Bran Selic 1. Auflage 2006. Buch. XVIII, 312 S. Hardcover ISBN 978 3 540 32180 4 Format (B x L): 15,5 x 23,5 cm Zu Inhaltsverzeichnis schnell
A Study on Radio Access Technology Selection Algorithms
SpringerBriefs in Electrical and Computer Engineering A Study on Radio Access Technology Selection Algorithms Bearbeitet von Kumbesan Sandrasegaran, Leijia Wu 1. Auflage 2012. Taschenbuch. x, 33 S. Paperback
Handbook of Conceptual Modeling
Handbook of Conceptual Modeling Theory, Practice, and Research Challenges Bearbeitet von David W. Embley, Bernhard Thalheim 1. Auflage 2011. Buch. xix, 589 S. Hardcover ISBN 978 3 642 15864 3 Format (B
Ajax in Oracle JDeveloper
Ajax in Oracle JDeveloper Bearbeitet von Deepak Vohra 1. Auflage 2008. Taschenbuch. xiv, 224 S. Paperback ISBN 978 3 540 77595 9 Format (B x L): 15,5 x 23,5 cm Gewicht: 373 g Weitere Fachgebiete > EDV,
Abstract Computing Machines
Texts in Theoretical Computer Science. An EATCS Series Abstract Computing Machines A Lambda Calculus Perspective Bearbeitet von Werner Kluge 1. Auflage 2005. Buch. xiv, 384 S. Hardcover ISBN 978 3 540
Computational Biology
Computational Biology A Practical Introduction to BioData Processing and Analysis with Linux, MySQL, and R Bearbeitet von Röbbe Wünschiers 1. Auflage 2013. Buch. xxix, 449 S. Hardcover ISBN 978 3 642 34748
Introductory Operations Research
Introductory Operations Research Theory and Applications Bearbeitet von Harvir Singh Kasana, Krishna Dev Kumar 1. Auflage 2004. Buch. XI, 581 S. Hardcover ISBN 978 3 540 40138 4 Format (B x L): 15,5 x
Embedded Robotics. Mobile Robot Design and Applications with Embedded Systems. Bearbeitet von Thomas Bräunl
Embedded Robotics Mobile Robot Design and Applications with Embedded Systems Bearbeitet von Thomas Bräunl Neuausgabe 8. Taschenbuch. xiv, 56 S. Paperback ISBN 978 3 5 7533 8 Format (B x L): 7 x, cm Gewicht:
Wireless Algorithms, Systems, and Applications
Lecture Notes in Computer Science 9204 Wireless Algorithms, Systems, and Applications 10th International Conference, WASA 2015, Qufu, China, August 10-12, 2015, Proceedings Bearbeitet von Kuai Xu, Haojin
Introduction to Reliable and Secure Distributed Programming
Introduction to Reliable and Secure Distributed Programming Bearbeitet von Christian Cachin, Rachid Guerraoui, Luís Rodrigues 1. Auflage 2011. Buch. xix, 367 S. Hardcover ISBN 978 3 642 15259 7 Format
Ruby on Rails for PHP and Java Developers
Ruby on Rails for PHP and Java Developers Bearbeitet von Deepak Vohra 1. Auflage 2007. Taschenbuch. xvi, 394 S. Paperback ISBN 978 3 540 73144 3 Format (B x L): 15,5 x 23,5 cm Gewicht: 629 g Weitere Fachgebiete
Guerrilla Capacity Planning
Guerrilla Capacity Planning A Tactical Approach to Planning for Highly Scalable Applications and Services Bearbeitet von Neil J Gunther 1. Auflage 2006. Buch. xx, 253 S. Hardcover ISBN 978 3 540 26138
Earth System Modelling - Volume 5
SpringerBriefs in Earth System Sciences Earth System Modelling - Volume 5 Tools for Configuring, Building and Running Models Bearbeitet von Rupert Ford, Graham Riley, Reinhard Budich, René Redler 1. Auflage
Monte Carlo Methods and Applications
de Gruyter Proceedings in Mathematics Monte Carlo Methods and Applications Proceedings of the 8th IMACS Seminar on Monte Carlo Methods, August 29 September 2, 2011, Borovets, Bulgaria Bearbeitet von Enrique
Information Retrieval for Music and Motion
Information Retrieval for Music and Motion Bearbeitet von Meinard Müller. Auflage 07. Buch. xvi, 38 S. Hardcover ISBN 978 3 5 747 6 Format (B x L): 5,5 x 23,5 cm Gewicht: 6 g Weitere Fachgebiete > EDV,
Dynamic Taxonomies and Faceted Search
The Information Retrieval Series 25 Dynamic Taxonomies and Faceted Search Theory, Practice, and Experience Bearbeitet von Giovanni Maria Sacco, Yannis Tzitzikas 1. Auflage 2012. Taschenbuch. xvii, 340
Image and Geometry Processing for 3-D Cinematography
Geometry and Computing 5 Image and Geometry Processing for 3-D Cinematography Bearbeitet von Rémi Ronfard, Gabriel Taubin 1st Edition. 2010. Buch. x, 305 S. Hardcover ISBN 978 3 642 12391 7 Format (B x
Conceptual Modelling in Information Systems Engineering
Conceptual Modelling in Information Systems Engineering Bearbeitet von John Krogstie, Andreas Lothe Opdahl, Sjaak Brinkkemper 1. Auflage 2007. Buch. xiv, 346 S. Hardcover ISBN 978 3 540 72676 0 Format
Doctoral Symposium.
Doctoral Symposium Marcus Alanen 1, Jordi Cabot 2, Miguel Goulão 3 and José Sáez 4 1 Åbo Akademi University, Turku, Finland maalanen@abo.fi 2 Estudis d'informàtica i Multimèdia, Universitat Oberta de Catalunya,
Advanced Man-Machine Interaction
Signals and Communication Technology Advanced Man-Machine Interaction Fundamentals and Implementation Bearbeitet von Karl-Friedrich Kraiss 1. Auflage 2006. Buch. XIX, 461 S. ISBN 978 3 540 30618 4 Format
Object-Oriented Metrics in Practice
Object-Oriented Metrics in Practice Using Software Metrics to Characterize, Evaluate, and Improve the Design of Object-Oriented Systems Bearbeitet von Michele Lanza, Radu Marinescu, S Ducasse 1. Auflage
Web Component Development with Zope 3
Web Component Development with Zope 3 Foreword by P. J. Eby Bearbeitet von P. J. Eby, Philipp von Weitershausen Neuausgabe 2008. Taschenbuch. xviii, 564 S. Paperback ISBN 978 3 540 76447 2 Format (B x
Inconsistency Detection between UML Models Using RACER and nrql
Inconsistency Detection between UML Models Using RACER and nrql Ragnhild Van Der Straeten SSEL, Vrije Universiteit Brussel, Pleinlaan 2, Brussels, Belgium rvdstrae@vub.ac.be Abstract An object-oriented
System Earth via Geodetic-Geophysical Space Techniques
System Earth via Geodetic-Geophysical Space Techniques Bearbeitet von Frank M. Flechtner, Thomas Gruber, Andreas Güntner, M. Mandea, Markus Rothacher, Tilo Schöne, Jens Wickert 1. Auflage 2010. Buch. xx,
Advances in Information Systems
Lecture Notes in Computer Science 1909 Advances in Information Systems First International Conference, ADVIS 2000, Izmir, Turkey, October 25-27, 2000, Proceedings Bearbeitet von Tatyana Yakhno 1. Auflage
Challenges in Model Refactoring
Challenges in Model Refactoring Tom Mens, University of Mons-Hainaut, Belgium tom.mens@umh.ac.be Gabriele Taentzer, Dirk Müller, Philipps-Universität Marburg, Germany {taentzer,dmueller}@mathematik.uni-marburg.de
Generating JMI model transformation code from UML profile models for SDM Aligning Graph Rewriting with MDA-light
Segravis School on Foundations of Visual Modelling Techniques, May 2004, Schloss Dagstuhl Generating JMI model transformation code from UML profile models for SDM Aligning Graph Rewriting with MDA-light
Web Archiving. Bearbeitet von Julien Masanès
Web Archiving Bearbeitet von Julien Masanès 1. Auflage 2006. Buch. vii, 234 S. Hardcover ISBN 978 3 540 23338 1 Format (B x L): 15,5 x 23,5 cm Gewicht: 532 g Weitere Fachgebiete > EDV, Informatik > EDV,
Evolutionary Multi-Criterion Optimization
Lecture Notes in Computer Science 1993 Evolutionary Multi-Criterion Optimization First International Conference, EMO 2001, Zurich, Switzerland, March 7-9, 2001 Proceedings Bearbeitet von Eckart Zitzler,
Developments in 3D Geo-Information Sciences
Lecture Notes in Geoinformation and Cartography Developments in 3D Geo-Information Sciences Bearbeitet von Tijs Neutens, Philippe de Maeyer 1. Auflage 2012. Taschenbuch. xiii, 219 S. Paperback ISBN 978
Contents. 1 A Tribute to Antoni Olivé on the Occasion of His Retirement... 1 Janis Bubenko, Colette Rolland and Arne Sølvberg
Contents 1 A Tribute to Antoni Olivé on the Occasion of His Retirement....... 1 Janis Bubenko, Colette Rolland and Arne Sølvberg 2 30 Years of Contributions to Conceptual Modeling............... 7 Jordi
Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool
Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool Erwan Brottier 1, Franck Fleurey 2, Jim Steel 2, Benoit Baudry 2, Yves Le Traon 1 1 France Télécom R&D 2, av. Pierre Marzin
Static analysis and testing of executable DSL specification
Static analysis and testing of executable DSL specification Qinan Lai 1, Andy Carpenter 1 1 School of Computer Science, the University of Manchester, Manchester, UK {laiq,afc}@cs.man.ac.uk Keywords: Abstract:
The Implications of Optimality Results for Incremental Model Synchronization for TGGs Holger Giese, Stephan Hildebrandt
The Implications of Optimality Results for Incremental Model Synchronization for TGGs Bi-directional transformations (BX) Theory and Applications Across Disciplines (13w5115) December 1-6, 2013 Holger
A Survey of Consistency Checking Techniques for UML Models
A Survey of Consistency Checking Techniques for UML Models Muhammad Usman 1, Aamer Nadeem 1, Tai-hoon Kim 2, Eun-suk Cho 2 1 Center for Software Dependability, Mohammad Ali Jinnah University Islamabad,
Difference and Union of Models, 10 years later
Difference and Union of Models, 10 years later Ivan Porres Åbo Akademi University ivan.porres@abo.fi MODELS 2013 Conference Miami October 3, 2013 Åbo Akademi University Domkyrkotorget 3 20500 Åbo Finland
First Steps Towards Conceptual Schema Testing
First Steps Towards Conceptual Schema Testing Albert Tort and Antoni Olivé Universitat Politècnica de Catalunya {atort,olive}@lsi.upc.edu Abstract. Like any software artifact, conceptual schemas of information
MDD Enablement Tooling
RAD Technologies MDD Enablement Tooling Version: February 4, 2004 Authors: Yael Shaham-Gafny Shiri Kremer-Davidson Contact: Yael Shaham-Gafny (Yael Shaham-Gafny/Haifa/IBM@IBMIL) OVERVIEW... TOOLING TOPICS...
Software Engineering with Objects and Components Open Issues and Course Summary
Software Engineering with Objects and Components Open Issues and Course Summary Massimo Felici Software Engineering with Objects and Components Software development process Lifecycle models and main stages
Preference Learning. Bearbeitet von Johannes Fürnkranz, Eyke Hüllermeier
Preference Learning Bearbeitet von Johannes Fürnkranz, Eyke Hüllermeier 1st Edition. 2010. Buch. ix, 466 S. Hardcover ISBN 978 3 642 14124 9 Format (B x L): 15,5 x 23,5 cm Gewicht: 958 g Weitere Fachgebiete
EMF Model Refactoring based on Graph Transformation Concepts
Page 29 EMF Model Refactoring based on Graph Transformation Concepts Enrico Biermann *, Karsten Ehrig **, Christian Köhler *, Günter Kuhns *, Gabriele Taentzer *, Eduard Weiss * *Department of Computer
RIGOROUSLY AUTOMATING TRANSFORMATIONS OF UML BEHAVIOR MODELS
RIGOROUSLY AUTOMATING TRANSFORMATIONS OF UML BEHAVIOR MODELS Jon Whittle 1, João Araújo 2, Ambrosio Toval 3, and Jose Luis Fernández Alemán 3 1 QSS / NASA Ames Research Center, M/S 269-2, Moffett Field,
Towards Better Support for Pattern-Oriented Software Development
Towards Better Support for Pattern-Oriented Software Development Dietrich Travkin Software Engineering Research Group, Heinz Nixdorf Institute & Department of Computer Science, University of Paderborn,
X.media.publishing. 3D Computer Vision. Efficient Methods and Applications. von Christian Wöhler. 1. Auflage
X.media.publishing 3D Computer Vision Efficient Methods and Applications von Christian Wöhler 1. Auflage 3D Computer Vision Wöhler schnell und portofrei erhältlich bei beck-shop.de DIE FACHBUCHHANDLUNG
Coral: A Metamodel Kernel for Transformation Engines
Coral: A Metamodel Kernel for Transformation Engines Marcus Alanen and Ivan Porres TUCS Turku Centre for Computer Science Department of Computer Science, Åbo Akademi University Lemminkäisenkatu 14, FIN-20520
Detecting Structural Refactoring Conflicts Using Critical Pair Analysis
SETra 2004 Preliminary Version Detecting Structural Refactoring Conflicts Using Critical Pair Analysis Tom Mens 1 Software Engineering Lab Université de Mons-Hainaut B-7000 Mons, Belgium Gabriele Taentzer
Seminar: Specification and Verification of Object-oriented Software. The KeY Tool
The KeY Tool developed by: W. Ahrendt, T. Baar, B. Beckert, R. Bubel, M. Giese, R. Hähnle, W. Menzel, W. Mostowski, A. Roth, S. Schlager, P.H. Schmitt, and others Information Security, ETH Zürich, Switzerland
Model Transformation Testing Challenges
Model Transformation Testing Challenges Benoit Baudry 1, Trung Dinh-Trong 2, Jean-Marie Mottu 1, Devon Simmonds 2, Robert France 2, Sudipto Ghosh 2, Franck Fleurey 1, Yves Le Traon 3 1 IRISA, Campus Beaulieu,
TIME-BASED CONSTRAINTS IN THE OBJECT CONSTRAINT LANGUAGE OCL
TIME-BASED CONSTRAINTS IN THE OBJECT CONSTRAINT LANGUAGE OCL Ali Hamie, John Howse School of Computing, Mathematical and Information Sciences, University of Brighton, Brighton, UK. {a.a.hamie@brighton.ac.uk,
Information Processing in Medical Imaging
Lecture Notes in Computer Science 2082 Information Processing in Medical Imaging 17th International Conference, IPMI 2001, Davis, CA, USA, June 18-22, 2001. Proceedings Bearbeitet von Michael F Insana,
Modeling with UML, with semantics
ing with UML, with semantics Till Mossakowski Otto-von-Guericke-Universität Magdeburg Based on a course by Alexander Knapp, Universität Augsburg Overview -driven software design (MSDS) -driven architecture
Testing-Based Conceptual Schema Validation in a Model- Driven Environment
Testing-Based Conceptual Schema Validation in a Model- Driven Environment Maria Fernanda Granda Department of Information Systems and Computation, Universitat Politècnica de València, Valencia, Spain mgranda@dsic.upv.es
DiverSE s Seminar about Software Language Engineering
DiverSE s Seminar about Software Language Engineering May 28 th, 2015 Rennes, France http://people.irisa.fr/benoit.combemale/sleseminar2015 THE DIVERSE TEAM DiverSE s Seminar about SLE - May 28 th, 2015-2
Model Transformations in Practice Workshop
Model Transformations in Practice Workshop Jean Bézivin, Bernhard Rumpe, Andy Schürr, Laurence Tratt University of Nantes, TU Darmstadt, TU Braunschweig, King s College London http://sosym.dcs.kcl.ac.uk/events/mtip/
Model Driven Engineering Languages and Systems
Oscar Nierstrasz Jon Whittle David Harel Gianna Reggio (Eds.) Model Driven Engineering Languages and Systems 9th International Conference, MoDELS 2006 Genova, Italy, October 1-6, 2006 Proceedings Sprin
Algorithms -- ESA 2004
Lecture Notes in Computer Science 3221 Algorithms -- ESA 2004 12th Annual European Symposium, Bergen, Norway, September 14-17, 2004, Proceedings Bearbeitet von Susanne Albers, Tomasz Radzik 1. Auflage
A Generic Framework for Realizing Semantic Model Differencing Operators
A Generic Framework for Realizing Semantic Model Differencing Operators Philip Langer, Tanja Mayerhofer, and Gerti Kappel Business Informatics Group, Vienna University of Technology, Vienna, Austria {langer,mayerhofer,gerti}@big.tuwien.ac.at
UMLSlicer: A Tool for Modularizing the UML Metamodel using Slicing
UMLSlicer: A Tool for Modularizing the UML Metamodel using Slicing Jung Ho Bae, Heung Seok Chae Department of Computer Science and Engineering Pusan National University 30 Jangjeon-Dong, Geumjeong-Gu 609-735
Towards Model-Driven Unit Testing
Towards Model-Driven Unit Testing Gregor Engels 1,2, Baris Güldali 1, and Marc Lohmann 2 1 Software Quality Lab 2 Department of Computer Science University of Paderborn, Warburgerstr. 100, 33098 Paderborn,
A Developer s Guide to the Semantic Web
A Developer s Guide to the Semantic Web von Liyang Yu 1. Auflage Springer 2011 Verlag C.H. Beck im Internet: www.beck.de ISBN 978 3 642 15969 5 schnell und portofrei erhältlich bei beck-shop.de DIE FACHBUCHHANDLUNG
March 2, Homepage:
Action Semantics for an Executable UML Thomas Feng March 2, 2003 Email: thomas@email.com.cn Homepage: http://moncs.cs.mcgill.ca/people/tfeng/ Why are we interested in semantics? Other than syntax, the
02291: System Integration
02291: System Integration Hubert Baumeister hub@imm.dtu.dk Spring 2012 Contents 1 General Information 1 2 Overview 3 3 Introduction to UML 11 4 Summary 16 1 General Information System Integration Type
Learner Modeling on the Semantic Web
Learner Modeling on the Semantic Web Peter Dolog and Michael Schäfer L3S Research Center, University of Hannover, Expo Plaza 1, 30539 Hannover, Germany, dolog@l3s.de Abstract. Learners are assessed by
Contents. Preface. 1 An Introduction to Web Engineering 1 Gerti Kappel, Birgit Pröll, Siegfried Reich, Werner Retschitzegger. 1.1 Motivation...
Gerti Kappel ftoc.tex V2 - March 31, 2006 4:11 P.M. Page v v Preface Forward xv xvii 1 An Introduction to Web Engineering 1 Gerti Kappel, Birgit Pröll, Siegfried Reich, Werner Retschitzegger 1.1 Motivation...
A Metamodeling Approach to Model Refactoring
A Metamodeling Approach to Model Refactoring Sheena R. Judson, Doris L. Carver, and Robert France 2 Department of Computer Science, Louisiana State University Baton Rouge, Louisiana USA sheena.r.judson@lmco.com,
EMF Metrics: Specification and Calculation of Model Metrics within the Eclipse Modeling Framework
EMF Metrics: Specification and Calculation of Model Metrics within the Eclipse Modeling Framework Thorsten Arendt a, Pawel Stepien a, Gabriele Taentzer a a Philipps-Universität Marburg, FB12 - Mathematics
A (Very) Short Introduction to Model-Driven Development (MDD)
A (Very) Short Introduction to Model-Driven Development (MDD) (MDD ~ Model-Driven Engineering (MDE)) Introduction to MDD by Jan Pettersen Nytun, UiA, page 1, 4-Aug-11 Content Some background info What
Definition of Visual Language Editors Using Declarative Languages
Definition of Visual Language Editors Using Declarative Languages Torbjörn Lundkvist TUCS Turku Centre for Computer Science SoSE Graduate School on Software Systems and Engineering Department of Information
Extensible Real Time Software Design Inconsistency Checker: A Model Driven Approach
, March 16-18, 2016, Hong Kong Extensible Real Time Software Design Inconsistency Checker: A Model Driven Approach 1 G. Ramesh 2 T. V. Rajini Kanth 3 A. Ananda Rao, Member, IAENG Abstract Unidentified
Algorithms & Data Structures 2
Algorithms & Data Structures 2 Introduction WS2017 B. Anzengruber-Tanase (Institute for Pervasive Computing, JKU Linz) (Institute for Pervasive Computing, JKU Linz) CONTACT Vorlesung DI Bernhard Anzengruber,
Automated Software Product Line Engineering and Product Derivation
Automated Software Engineering and Product Derivation Hassan Gomaa Michael E. Shin Dept. of Information and Software Engineering Dept. of Computer Science George Mason University Texas Tech University
Multi-Language Refactoring with Dimensions of Semantics-Preservation
Multi-Language Refactoring with Dimensions of Semantics-Preservation Hagen Schink Institute of Technical and Business Information Systems Otto-von-Guericke-University Magdeburg, Germany hagen.schink@gmail.com
Specifying Precise Use Cases with Use Case Charts
Specifying Precise Use Cases with Use Case Charts Jon Whittle Dept of Information & Software Engineering George Mason University 4400 University Drive Fairfax, VA 22030 jwhittle@ise.gmu.edu Abstract. Use
Comparative Analysis of Architectural Views Based on UML
Electronic Notes in Theoretical Computer Science 65 No. 4 (2002) URL: http://www.elsevier.nl/locate/entcs/volume65.html 12 pages Comparative Analysis of Architectural Views Based on UML Lyrene Fernandes
Perspectives on Projective Geometry
Perspectives on Projective Geometry Guided Tour Through Real and omplex Geometry earbeitet von Jürgen Richter-Gebert 1. uflage 2011. uch. xxii, 571 S. Hardcover ISN 978 3 642 17285 4 Format ( x L): 15,5
Domain-Specific Languages for Wireless Sensor Networks
Domain-Specific Languages for Wireless Sensor Networks Daniel A. Sadilek Humboldt-Universität zu Berlin Institute for Computer Science Rudower Chaussee 25 12489 Berlin, Germany sadilek@informatik.hu-berlin.de
Approaches of using UML for Embedded System Design
Approaches of using UML for Embedded System Design Sudeep D. Thepade Lecturer, Dept. of Information Technology, Thadomal Shahani Engg. College, Bandra, Mumbai sudeepthepade@gmail.com Abstract New approaches
Experimenting with Multi-Level Models in a Two-Level Modeling Tool
Experimenting with Multi-Level Models in a Two-Level Modeling Tool Martin Gogolla Database Systems Group, University of Bremen, Germany gogolla@informatik.uni-bremen.de Abstract. This paper discusses two
Designing Interaction Spaces for Rich Internet Applications with UML
Designing Interaction Spaces for Rich Internet Applications with UML Peter Dolog and Jan Stage Aalborg University, Department of Computer Science, Fredrik Bajers Vej 7, DK-9220 Aalborg East, Denmark {dolog,jans}@cs.aau.dk
DESIGN AND ANALYSIS OF DISTRIBUTED EMBEDDED SYSTEMS
DESIGN AND ANALYSIS OF DISTRIBUTED EMBEDDED SYSTEMS IFIP 17 th World Computer Congress TC10 Stream on Distributed and Parallel Embedded Systems (DIPES2002) August 25-29, 2002, Montreal, Quebec, Canada
Prototyping Navigation in Web-Based Information Systems Using WebML
Prototyping Navigation in Web-Based Information Systems Using WebML Jaroslav KURUC 1, Peter DOLOG 2 and Mária BIELIKOVÁ 1 1 Institute of Informatics and Software Engineering, Faculty of Informatics and
Specifying Precise Use Cases
Specifying Precise Use Cases Jon Whittle Dept of Information & Software Engineering George Mason University 4400 University Drive Fairfax, VA 22030 jwhittle@ise.gmu.edu Abstract. Despite attempts to formalize
Digital Photo Editing For Seniors: Learn How To Edit Your Digital Photos With Arcsoft PhotoStudio (Computer Books For Seniors Series) By Addo Stuur
Digital Photo Editing For Seniors: Learn How To Edit Your Digital Photos With Arcsoft PhotoStudio (Computer Books For Seniors Series) By Addo Stuur READ ONLINE Download pdf book by Addo Stuur - Free ebooks.
Towards a UML Profile for Service-Oriented Architectures 1
Towards a UML Profile for Service-Oriented Architectures 1 Reiko Heckel, Marc Lohmann, and Sebastian Thöne Faculty of Computer Science, Electrical Engineering and Mathematics University of Paderborn, Germany
On the Correctness of Model Transformations. Matthew Nizol CSE 814, Fall 2014 Thursday, December 11, 2014
On the Correctness of Model Transformations Matthew Nizol CSE 814, Fall 2014 Thursday, December 11, 2014 Agenda Context: Model-driven development Background on verification techniques Presentation of each
Software Quality Starts with the Modelling of Goal-Oriented Requirements
Software Quality Starts with the Modelling of Goal-Oriented Requirements Emmanuelle Delor, Robert Darimont CEDITI Avenue Georges Lemaître, 21 B-6041 Charleroi Belgium Phone : +32 (0) 71 25 94 04 Fax :