[7] Health Level 7. Organization web site at

Size: px
Start display at page:

Download "[7] Health Level 7. Organization web site at http://www.hl7.org."

Transcription

1 Bibliography [7] Health Level 7. Organization web site at [ABdB00] [AdBB00] Farhad Arbab, Marcello M. Bonsangue, and Frank S. de Boer. A coordination language for mobile components. In SAC 00: Proceedings of the 2000 ACM symposium on Applied computing, pages , New York, NY, USA, ACM Press. Farhad Arbab, Frank S. de Boer, and Marcello M. Bonsangue. A Logical Interface Description Language for Components. In CO- ORDINATION 00: Proceedings of the 4th International Conference on Coordination Languages and Models, pages , London, UK, Springer-Verlag. [AG97] R. Allen and D. Garlan. A Formal Basis for Architectural Connections. ACM Transactions of Software Engineering and Methodology, 6(3): , [Agh86] [Arb96] Gul Agha. Actors: a model of concurrent computation in distributed systems. MIT Press, Cambridge, MA, USA, Farhad Arbab. Manifold Version 2: Language Reference Manual. Technical Report ISSN X, Centrum voor Wiskunde en Informatica (CWI), Amsterdam, [Arb04] Farhad Arbab. Reo: a channel-based coordination model for component composition. Mathematical. Structures in Comp. Sci., 14(3): , [Arc] The Archimate project. Website at NetworkedBusiness/Archimate/ENindex.htm. 227

2 228 BIBLIOGRAPHY [AwJS96] [BCM03] [BDJ + 03] [BGM01] [BH89] [BS01] [BS02] [CD00] Harold Abelson and Gerald Jay Sussman with Julie Sussman. Structure and Interpretation of Computer Programs, 2nd edition. The MIT Press, The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Jean Bézivin, Grégoire Dupé, Frédéric Jouault, Gilles Pitette, and Jamal Eddine Rougui. First experiments with the ATL model transformation language: Transforming XSLT into XQuery, M. Bozga, S. Graf, and L. Mounier. Automated Validation of Distributed Software using the IF Environment. In Workshop on Software Model-Checking, volume 55. TCS, Ferenc Belina and Dieter Hogrefe. The CCITT-Specification and Description Language SDL. Computer Networks, 16: , M. Broy and K. Stolen. Specification and Development of Interactive Systems: FOCUS on Streams. In Interfaces and Refinement. Springer-Verlag, A. Berlea and H. Seidl. fxt A Transformation Language for XML Documents. Journal of Computing and Information Technology, 10(1):19 35, J. Cheesman and J. Daniels. UML Components: a simple process for specifying component-based software. Addison-Wesley, [CG90] Nicholas Carriero and David Gelernter. How to write parallel programs: a first course. MIT Press, Cambridge, MA, USA, [Cha85] Daniel Marcos Chapiro. Globally-asynchronous locallysynchronous systems (performance, reliability, digital). PhDthesis, [Che76] Peter Pin-Shan Chen. The entity-relationship model toward a unified view of data. ACM Trans. Database Syst., 1(1):9 36, 1976.

3 BIBLIOGRAPHY 229 [Chu41] [Cla] A. Church. The Calculi of Lambda Conversion. Princeton University Press, Princeton, N.J., J. Clark. XSL Transformations (XSLT) Version 1.0, W3C Recommendation 16 Nov [Cla01] J. Clark. The Design of RELAX NG. Available at [com] The Rule Markup Initiative community. [dbb00] Frank S. de Boer and Marcello M. Bonsangue. A Compositional Model for Confluent Dynamic Data-Flow Networks. In MFCS 00: Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, pages , London, UK, Springer-Verlag. [dbbj + 04] Frank S. de Boer, Marcello M. Bonsangue, Joost Jacob, Andries Stam, and Leendert W. N. van der Torre. A Logical Viewpoint on Architectures. In EDOC, pages IEEE Computer Society, [dbbj + 05] Frank S. de Boer, Marcello M. Bonsangue, Joost Jacob, Andries Stam, and Leendert W. N. van der Torre. Enterprise Architecture Analysis with XML. In HICSS. IEEE Computer Society, [DH01] Werner Damm and David Harel. LSCs: Breathing Life into Message Sequence Charts. Formal Methods in System Design, 19(1):45 80, [DJPV03] Werner Damm, Bernhard Josko, Amir Pnueli, and Angelika Votintseva. Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML. In Frank de Boer, Marcello Bonsangue, Susanne Graf, and Willem-Paul de Roever, editors, Proceedings of the 1st Symposium on Formal Methods for Components and Objects (FMCO 2002), volume 2852 of LNCS Tutorials, pages 70 98, 2003.

4 230 BIBLIOGRAPHY [DW98] Desmond D Souza and Alan Cameron Wills. Objects, Components and Frameworks With UML: The Catalysis Approach. Addison-Wesley, [ea04] [ea05] [EFA90] [EG94] H. Jonkers et al. Concepts for modeling enterprise architectures. In International Journal of Cooperative Information Systems, Marc Lankhorst et al. Enterprise Architecture at Work: Modelling, Communication and Analysis. Springer, December S. Hupfer E. Freeman and K. Arnold. JavaSpaces TM Principles, Patterns, and Practice. Addison-Wesley, September G. Engels and L.P.J. Groenewegen. Specification of Coordinated Behavior by SOCCA. In B. Warboys, editor, Proc. of the 3rd European Workshop on Software Process Technology (EWSPT 94), pages , Berlin, Germany, February Springer- Verlag. [EJL + 99] Henk Eertink, Wil Janssen, Paul Oude Luttighuis, Wouter B. Teeuw, and Chris A. Vissers. A business process design language. In FM 99: Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I, pages 76 95, London, UK, Springer-Verlag. [Fox88] G. C. Fox. Domain decomposition in distributed and shared memory environments I: uniform decomposition and performance analysis for the NCUBE and JPL Mark IIIfp hypercubes. In Proceedings of the 1st International Conference on Supercomputing, pages , New York, NY, USA, Springer- Verlag New York, Inc. [GBR99] [GCK02] I. Jacobson G. Booch and J. Rumbaugh. The Unified Modeling Language Reference Manual. Addison Wesley, David Garlan, Shang-Wen Cheng, and Andrew J. Kompanek. Reconciling the needs of architectural description with objectmodeling notations. Sci. Comput. Program., 44(1):23 49, 2002.

5 BIBLIOGRAPHY 231 [GMW97] [GS79] D. Garlan, R. Monroe, and D. Wile. ACME: An Architecture Description Interchange Language, C. Gane and T. Sarson. Structured Systems Analysis: Tools and Techniques. Prentice Hall, Englewood Cliffs, [Har87] David Harel. Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming, 8(3): , June [Hoa85] [HP85] [Jaca] [Jacb] C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall, D. Harel and A. Pnueli. On the development of reactive systems. pages , Joost Jacob. The ASCII Markup Language (AML) white-paper. Available at jacob/aml. Joost Jacob. Coordinating UML with UnCL web site. Available at jacob/uncl. [Jacc] Joost Jacob. The OMEGA Component Model documents and implementation. Available at jacob/component.html. [Jacd] Joost Jacob. UML Kernel Model Semantics Demonstration. Available at jacob/km/cgikm.html. [Jac04a] [Jac04b] Joost Jacob. A Rule Markup Language and Its Application to UML. In Margarita and Steffen [MS06], pages Joost Jacob. The OMEGA Component Model. Electr. Notes Theor. Comput. Sci., 101:25 49, [JvBA + 03] H. Jonkers, R. van Buuren, F. Arbab, F.S. de Boer, M.M. Bonsangue, H. Bosma, H. ter Doest, L. Groenewegen, J. Guillen-Scholten, S. Hoppenbrouwers, M. Iacob, W. Janssen, M. Lankhorst, D. van Leeuwen, E. Proper, A. Stam, L. van der Torre, and G. Veldhuijzen van Zanten. Towards a language for coherent enterprise architecture description. In M. Steen and

6 232 BIBLIOGRAPHY B.R. Bryant, editors, Proceedings 7th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2003), pages IEEE Computer Society Press, [Kah74] [KMM00] [LKA + 95] G. Kahn. The semantics of a simple language for parallel programming. In J. L. Rosenfeld, editor, Information processing, pages , Stockholm, Sweden, Aug North Holland, Amsterdam. Matt Kaufmann, Panagiotis Manolios, and J Strother Moore. Computer-Aided Reasoning: An Approach. Kluwer Academic Publishers, June David C. Luckham, John J. Kenney, Larry M. Augustin, James Vera, Doug Bryan, and Walter Mann. Specification and Analysis of System Architecture Using Rapide. IEEE Trans. Software Eng., 21(4): , [LMM99] Diego Latella, Istvan Majzik, and Mieke Massink. Towards a Formal Operational Semantics of UML Statechart Diagrams. In Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), page 465, Deventer, The Netherlands, The Netherlands, Kluwer, B.V. [MAS + 03] [Mat03] [MOF] James McGovern, Scott W. Ambler, Michael E. Stevens, James Linn, Vikas Sharan, and Elias K. Jo. A Practical Guide to Enterprise Architecture. Prentice Hall PTR, Mathematical Markup Language (MathML) version 2.0. Online, The Meta-Object Facility. Available at technology/documents/formal/mof.htm. [MORW04] Michael Möller, Ernst-Rüdiger Olderog, Holger Rasch, and Heike Wehrheim. Linking CSP-OZ with UML and Java: A Case Study. In Eerke A. Boiten, John Derrick, and Graeme Smith, editors, IFM, volume 2999 of Lecture Notes in Computer Science, pages Springer, 2004.

7 BIBLIOGRAPHY 233 [MP92] Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag, Berlin, January [MRRR02] N. Medvidovic, D. Rosenblum, D. Redmiles, and J. Robbins. Modeling Software Architecture in the UML. ACM Transactions on Software Engineering and Methodology, 11(1):2 57, [MS06] [OME] [OMG] [OMG03] [ORR + 96] [Pau94] [Pet94] Tiziana Margarita and Bernhard Steffen, editors. Leveraging Applications of Formal Methods, First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers, volume 4313 of Lecture Notes in Computer Science. Springer, OMEGA IST Correct Development of Real-Time Embedded Systems. Website at index.php. The Object Management Group (OMG). Website at UML 2.0: Superstructure Specification, Final Adopted Specification ptc/ , S. Owre, S. Rajan, J.M. Rushby, N. Shankar, and M.K. Srivas. PVS: Combining specification, proof checking, and model checking. In Rajeev Alur and Thomas A. Henzinger, editors, Computer-Aided Verification, CAV 96, volume 1102 of Lecture Notes in Computer Science, pages , New Brunswick, NJ, July/August Springer-Verlag. Lawrence C. Paulson. Isabelle: A generic theorem prover. Lecture Notes in Computer Science, 828:xvii + 321, M. Pettersson. RML - A New Language and Implementation for Natural Semantics. In M. Hermenegildo and J. Penjam, editors, Proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming, PLILP, volume 884 of LNCS, pages Springer-Verlag, 1994.

8 234 BIBLIOGRAPHY [PL99] [Plo81] Ivan Paltor and Johan Lilius. Formalising UML State Machines for Model Checking. In Robert B. France and Bernhard Rumpe, editors, UML, volume 1723 of Lecture Notes in Computer Science, pages Springer, G. D. Plotkin. A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19, University of Aarhus, [pum] The Precise UML Group. Available at [RUL] The Rule Markup Initiative Community. Website at [SAdBB02] Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, and Marcello M. Bonsangue. Mocha: A middleware based on mobile channels. In COMPSAC 02: Proceedings of the 26th International Computer Software and Applications Conference on Prolonging Software Life: Development and Redevelopment, pages , Washington, DC, USA, IEEE Computer Society. [SAdBB03] Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, and Marcello M. Bonsangue. A channel-based coordination model for components. Electr. Notes Theor. Comput. Sci., 68(3), [Sel98] Bran Selic. Using UML for Modeling Complex Real-Time Systems. In LCTES 98: Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems, pages , London, UK, Springer-Verlag. [SGW94] Bran Selic, Garth Gullekson, and Paul T. Ward. Real-time object-oriented modeling. John Wiley & Sons, Inc., New York, NY, USA, [SJdB + 04] Andries Stam, Joost Jacob, Frank S. de Boer, Marcello M. Bonsangue, and Leendert W. N. van der Torre. Using XML Transformations for Enterprise Architectures. In Margarita and Steffen [MS06], pages

9 BIBLIOGRAPHY 235 [Soc00] IEEE Computer Society. IEEE std : IEEE recommended practice for architectural description of softwareintensive systems, Oct. 9, [SP99] Perdita Stevens and Rob Pooley. Using UML: Software Engineering with Objects and Components. Addison-Wesley, [SRMM00] G. Schadow, D. Russler, C. Mead, and C. McDonald. Integrating medical information and knowledge in the HL7 RIM. Proc AMIA Symp, pages 764 8, [SS99] [SWB03] Steve Schneider and S. A. Schneider. Concurrent and Real Time Systems: The CSP Approach. John Wiley & Sons, Inc., New York, NY, USA, Perdita Stevens, Jon Whittle, and Grady Booch, editors. UML The Unified Modeling Language, Modeling Languages and Applications, 6th International Conference, San Francisco, CA, USA, October 20-24, 2003, Proceedings, volume 2863 of Lecture Notes in Computer Science. Springer, [Szy02] Clemens Szyperski. Component Software: Beyond Object- Oriented Programming. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, [U20] [vdb01] [vr95] The U2 Partners. Available at Michael von der Beeck. Formalization of UML-Statecharts. In UML 01: Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools, pages , London, UK, Springer-Verlag. G. van Rossum. The Python Reference Manual. Technical Report ISSN X, Centrum voor Wiskunde en Informatica (CWI), Amsterdam, [W3C] The World Wide Web Consortium (W3C). Website at [Wil05] Gregory V. Wilson. Extensible programming for the 21st century. Queue, 2(9):48 57, 2005.

10 236 BIBLIOGRAPHY [XMI] The XML Metadata Interchange Format (XMI). Available at [XML] The Extensible Markup Language (XML). Available at [XMS] The XML Schemas. Available at Schema. [XSL] [Zac87] The Extensible Stylesheet Language Family (XSL). Available at John A. Zachman. A Framework for Information Systems Architecture. IBM Syst. J., 26(3): , 1987.

Enterprise Architecture Analysis with XML

Enterprise Architecture Analysis with XML Enterprise Architecture Analysis with XML F.S. de Boer 1,2 M.M. Bonsangue 2 J. Jacob 1 A. Stam 2,3 L.van der Torre 1,4 1 CWI, P.O. Box 94079, 1090 GB Amsterdam, The Netherlands 2 LIACS, Leiden University,

More information

Designing Real-Time and Embedded Systems with the COMET/UML method

Designing Real-Time and Embedded Systems with the COMET/UML method By Hassan Gomaa, Department of Information and Software Engineering, George Mason University. Designing Real-Time and Embedded Systems with the COMET/UML method Most object-oriented analysis and design

More information

Seamless UML Support for Service-based Software Architectures

Seamless UML Support for Service-based Software Architectures Seamless UML Support for Service-based Software Architectures Matthias Tichy and Holger Giese Software Engineering Group, Department of Computer Science University of Paderborn, Germany [mtt hg]@uni-paderborn.de

More information

Workflow Automation and Management Services in Web 2.0: An Object-Based Approach to Distributed Workflow Enactment

Workflow Automation and Management Services in Web 2.0: An Object-Based Approach to Distributed Workflow Enactment Workflow Automation and Management Services in Web 2.0: An Object-Based Approach to Distributed Workflow Enactment Peter Y. Wu wu@rmu.edu Department of Computer & Information Systems Robert Morris University

More information

Graph-Grammar Based Completion and Transformation of SDL/UML-Diagrams

Graph-Grammar Based Completion and Transformation of SDL/UML-Diagrams Graph-Grammar Based Completion and Transformation of SDL/UML-Diagrams Position Paper Ulrich A. Nickel, Robert Wagner University of Paderborn Warburger Straße 100 D-33098 Paderborn Germany [duke, wag25]@uni-paderborn.de

More information

Tools for MDA Software Development: Evaluation Criteria and Set of Desirable Features

Tools for MDA Software Development: Evaluation Criteria and Set of Desirable Features Fifth International Conference on Information Technology: New Generations Tools for MDA Software Development: Evaluation Criteria and Set of Desirable Features Tihomir Calic, Sergiu Dascalu, Dwight Egbert

More information

2 nd UML 2 Semantics Symposium: Formal Semantics for UML

2 nd UML 2 Semantics Symposium: Formal Semantics for UML 2 nd UML 2 Semantics Symposium: Formal Semantics for UML Manfred Broy 1, Michelle L. Crane 2, Juergen Dingel 2, Alan Hartman 3, Bernhard Rumpe 4, and Bran Selic 5 1 Technische Universität München, Germany

More information

A pattern based approach to defining the dynamic infrastructure of UML 2.0

A pattern based approach to defining the dynamic infrastructure of UML 2.0 A pattern based approach to defining the dynamic infrastructure UML 2.0 Biju K. Appukuttan, Tony Clark 2, Andy Evans 3, Girish Maskeri 4, Paul Sammut 3, Laurence Tratt 2 and James S. Willans 3 Abstract.

More information

Generating Aspect Code from UML Models

Generating Aspect Code from UML Models Generating Aspect Code from UML Models Iris Groher Siemens AG, CT SE 2 Otto-Hahn-Ring 6 81739 Munich, Germany Iris.Groher@fh-hagenberg.at Stefan Schulze Siemens AG, CT SE 2 Otto-Hahn-Ring 6 81739 Munich,

More information

EMBEDDED SOFTWARE DEVELOPMENT: COMPONENTS AND CONTRACTS

EMBEDDED SOFTWARE DEVELOPMENT: COMPONENTS AND CONTRACTS EMBEDDED SOFTWARE DEVELOPMENT: COMPONENTS AND CONTRACTS David URTING, Stefan VAN BAELEN, Tom HOLVOET and Yolande BERBERS {David.Urting, Stefan.VanBaelen, Tom.Holvoet, Yolande.Berbers}@cs.kuleuven.ac.be

More information

The BPM to UML activity diagram transformation using XSLT

The BPM to UML activity diagram transformation using XSLT The BPM to UML activity diagram transformation using XSLT Ondřej Macek 1 and Karel Richta 1,2 1 Department of Computer Science and Engineering, Faculty of Electrical Engineering, Czech Technical University,

More information

Model Checking and Code Generation for UML State Machines and Collaborations

Model Checking and Code Generation for UML State Machines and Collaborations Model Checking and Code Generation for UML State Machines and Collaborations Alexander Knapp and Stephan Merz Institut für Informatik, Ludwig-Maximilians-Universität München {knapp,merz}@informatik.uni-muenchen.de

More information

UML-based Test Generation and Execution

UML-based Test Generation and Execution UML-based Test Generation and Execution Jean Hartmann, Marlon Vieira, Herb Foster, Axel Ruder Siemens Corporate Research, Inc. 755 College Road East Princeton NJ 08540, USA jeanhartmann@siemens.com ABSTRACT

More information

Life-Cycle Aware Modelling of Software Components

Life-Cycle Aware Modelling of Software Components Life-Cycle Aware Modelling of Software Components Heiko Koziolek 1, Steffen Becker 3, Jens Happe 2, and Ralf Reussner 2 1 ABB Corporate Research Wallstadter Str. 59, 68526 Ladenburg, Germany 2 Chair for

More information

A SYSTEMATIC APPROACH FOR COMPONENT-BASED SOFTWARE DEVELOPMENT

A SYSTEMATIC APPROACH FOR COMPONENT-BASED SOFTWARE DEVELOPMENT A SYSTEMATIC APPROACH FOR COMPONENT-BASED SOFTWARE DEVELOPMENT Cléver Ricardo Guareis de Farias, Marten van Sinderen and Luís Ferreira Pires Centre for Telematics and Information Technology (CTIT) PO Box

More information

Tool Support for Software Variability Management and Product Derivation in Software Product Lines

Tool Support for Software Variability Management and Product Derivation in Software Product Lines Tool Support for Software Variability Management and Product Derivation in Software s Hassan Gomaa 1, Michael E. Shin 2 1 Dept. of Information and Software Engineering, George Mason University, Fairfax,

More information

Automatic Verification by Abstract Interpretation

Automatic Verification by Abstract Interpretation Automatic Verification by Abstract Interpretation (Invited tutorial) Patrick Cousot École normale supérieure, Département d informatique, 45 rue d Ulm, 75230 Paris cedex 05, France Patrick.Cousot@ens.fr

More information

Landscape Maps for Enterprise Architectures

Landscape Maps for Enterprise Architectures Landscape Maps for Enterprise Architectures L. van der Torre 1, M.M. Lankhorst 2, H. ter Doest 2, J.T.P. Campschroer 3, F. Arbab 4 1 University of Luxembourg, Luxembourg 2 Telematica Instituut, Enschede,

More information

Curriculum Vitae. Dr ir Gert E. Veldhuijzen van Zanten. Personal data. Profile

Curriculum Vitae. Dr ir Gert E. Veldhuijzen van Zanten. Personal data. Profile Curriculum Vitae Dr ir Gert E. Veldhuijzen van Zanten Personal data Name Veldhuijzen van Zanten Address Eikendreef 16 Christian Names Gerrit Eduard Zip 6581 PE First Name Gert Titles Dr ir (PhD) Date of

More information

MERGING ONTOLOGIES AND OBJECT-ORIENTED TECHNOLOGIES FOR SOFTWARE DEVELOPMENT

MERGING ONTOLOGIES AND OBJECT-ORIENTED TECHNOLOGIES FOR SOFTWARE DEVELOPMENT 23-24 September, 2006, BULGARIA 1 MERGING ONTOLOGIES AND OBJECT-ORIENTED TECHNOLOGIES FOR SOFTWARE DEVELOPMENT Dencho N. Batanov Frederick Institute of Technology Computer Science Department Nicosia, Cyprus

More information

Development of Tool Extensions with MOFLON

Development of Tool Extensions with MOFLON Development of Tool Extensions with MOFLON Ingo Weisemöller, Felix Klar, and Andy Schürr Fachgebiet Echtzeitsysteme Technische Universität Darmstadt D-64283 Darmstadt, Germany {weisemoeller klar schuerr}@es.tu-darmstadt.de

More information

ArchiMate Extension for Modeling the TOGAF Implementation and Migration Phases

ArchiMate Extension for Modeling the TOGAF Implementation and Migration Phases ArchiMate Extension for Modeling the TOGAF Implementation and Migration Phases A White Paper by: Henk Jonkers, Harmen van den Berg, Maria-Eugenia Iacob, and Dick Quartel December 2010 Copyright 2010 The

More information

Mapping from Business Processes to Requirements Specification

Mapping from Business Processes to Requirements Specification Extended abstract 1/5 Mapping from Business Processes to Requirements Specification Svatopluk Štolfa, Ivo Vondrák Department of Computer Science, VŠB - Technical University of Ostrava, 17.listopadu 15,

More information

Techniques for Reactive System Design: The Tools in TRADE

Techniques for Reactive System Design: The Tools in TRADE Techniques for Reactive System Design: The Tools in TRADE Roel J. Wieringa and David N. Jansen Department of Computer Science, University of Twente, P.O. Box 27, 7500 AE, The Netherlands {roelw, dnjansen}@cs.utwente.nl

More information

B.Sc. in Computer Engineering, School of Electrical and Computer Engineering,

B.Sc. in Computer Engineering, School of Electrical and Computer Engineering, Narges Khakpour Postdoctoral Researcher Theoretical Computer Science School of Computer Science and Communication Royal Institute of Technology (KTH) Stockholm E-mail: nargeskh@kth.se Leiden Institute

More information

Run-Time Assertion Checking and Monitoring Java Programs

Run-Time Assertion Checking and Monitoring Java Programs Run-Time Assertion Checking and Monitoring Java Programs Envisage Bertinoro Summer School June 2014 June 19, 2014 Your Lecturers Today Frank en Stijn What This Talk Is All About Formal Methods in Practice:

More information

Performance Engineering of Component-Based Distributed Software Systems

Performance Engineering of Component-Based Distributed Software Systems Performance Engineering of Component-Based Distributed Software Systems Hassan Gomaa 1 and Daniel A. Menascé 2 1 Dept. of Information and Software Engineering School of Information Technology and Engineering

More information

Model-Based Development of Web Applications Using Graphical Reaction Rules

Model-Based Development of Web Applications Using Graphical Reaction Rules Model-Based Development of Web Applications Using Graphical Reaction Rules Reiko Heckel and Marc Lohmann Faculty of Computer Science, Electrical Engineering and Mathematics University of Paderborn D 33098

More information

Bridging BPM and MDE: On the Integration of BiZZdesigner and OptimalJ

Bridging BPM and MDE: On the Integration of BiZZdesigner and OptimalJ Bridging BPM and MDE: On the Integration of BiZZdesigner and OptimalJ Henk Jonkers, Maarten W.A. Steen, Lex Heerink, Diederik van Leeuwen Telematica Instituut, P.O. Box 589, 7500 AN Enschede, The Netherlands

More information

Software Engineering Tools and Methods

Software Engineering Tools and Methods Software Engineering Tools and Methods Fernando Brito e Abreu (fba@di.fct.unl.pt) Universidade Nova de Lisboa (http://www.unl.pt) QUASAR Research Group (http://ctp.di.fct.unl.pt/quasar) SWEBOK: the 10

More information

Large Scale Order Processing through Navigation Plan Concept

Large Scale Order Processing through Navigation Plan Concept Large Scale Order Processing through Navigation Plan Concept João Eduardo Ferreira 1, Osvaldo K. Takai 1, Kelly R. Braghetto 1, and Calton Pu 2 1 Department of Computer Science, University of São Paulo

More information

On the Role of Logic and Algebra in Software Engineering

On the Role of Logic and Algebra in Software Engineering On the Role of Logic and Algebra in Software Engineering Manfred Broy Abstract Software engineering is a field of high relevance for many practical areas of advanced technology. It is essential also for

More information

Concepts for Modelling Enterprise Architectures

Concepts for Modelling Enterprise Architectures Concepts for Modelling Enterprise Architectures Henk Jonkers 1, Marc Lankhorst 1, René van Buuren 1, Stijn Hoppenbrouwers 2, Marcello Bonsangue 3, Leendert van der Torre 4 1 Telematica Instituut, P.O.

More information

Modeling Web Applications Using Java And XML Related Technologies

Modeling Web Applications Using Java And XML Related Technologies Modeling Web Applications Using Java And XML Related Technologies Sam Chung Computing & Stware Systems Institute Technology University Washington Tacoma Tacoma, WA 98402. USA chungsa@u.washington.edu Yun-Sik

More information

Foundations of Model-Driven Software Engineering

Foundations of Model-Driven Software Engineering Model-Driven Software Engineering Foundations of Model-Driven Software Engineering Dr. Jochen Küster (jku@zurich.ibm.com) Contents Introduction to Models and Modeling Concepts of Model-Driven Software

More information

Information systems modelling UML and service description languages

Information systems modelling UML and service description languages Internet Engineering Tomasz Babczyński, Zofia Kruczkiewicz Tomasz Kubik Information systems modelling UML and service description languages Student Contact Hours: 25.02.2015- Location: 325 C3 room 25.03.2015:

More information

DEGREE CURRICULUM SOFTWARE ARCHITECTURES Degree in Computer Engineering. Teaching staff: GIL IRANZO, ROSA MARIA GARCIA GONZALEZ, ROBERTO

DEGREE CURRICULUM SOFTWARE ARCHITECTURES Degree in Computer Engineering. Teaching staff: GIL IRANZO, ROSA MARIA GARCIA GONZALEZ, ROBERTO Academic year 2014-15 DEGREE CURRICULUM SOFTWARE ARCHITECTURES Degree in Computer Engineering Teaching staff: GIL IRANZO, ROSA MARIA GARCIA GONZALEZ, ROBERTO Subject's general information Subject name

More information

A Pattern-based Approach to Business Process Modeling and Implementation in Web Services

A Pattern-based Approach to Business Process Modeling and Implementation in Web Services A Pattern-based Approach to Business Process Modeling and Implementation in Web Services Steen Brahe 1 and Behzad Bordbar 2 1 Danske Bank & IT University of Copenhagen, Denmark stbr@itu.dk 2 University

More information

Formalization of Functional Requirements and Their Traceability in UML Diagrams A Z Notation Based Approach

Formalization of Functional Requirements and Their Traceability in UML Diagrams A Z Notation Based Approach Formalization of Functional Requirements and Their Traceability in UML Diagrams A Z Notation Based Approach Sabnam Sengupta 1,Swapan Bhattacharya 2 Department of Computer Science & Engineering, Jadavpur

More information

Systematization of Requirements Definition for Software Development Processes with a Business Modeling Architecture

Systematization of Requirements Definition for Software Development Processes with a Business Modeling Architecture Systematization of Requirements Definition for Software Development Processes with a Business Modeling Architecture Delmir de Azevedo Junior 1 and Renato de Campos 2 1 Petrobras University, Republican

More information

Application of UML in Real-Time Embedded Systems

Application of UML in Real-Time Embedded Systems Application of UML in Real-Time Embedded Systems Aman Kaur King s College London, London, UK Email: aman.kaur@kcl.ac.uk Rajeev Arora Mechanical Engineering Department, Invertis University, Invertis Village,

More information

ISSUES OF STRUCTURED VS. OBJECT-ORIENTED METHODOLOGY OF SYSTEMS ANALYSIS AND DESIGN

ISSUES OF STRUCTURED VS. OBJECT-ORIENTED METHODOLOGY OF SYSTEMS ANALYSIS AND DESIGN ISSUES OF STRUCTURED VS. OBJECT-ORIENTED METHODOLOGY OF SYSTEMS ANALYSIS AND DESIGN Mohammad A. Rob, University of Houston-Clear Lake, rob@cl.uh.edu ABSTRACT In recent years, there has been a surge of

More information

Common Warehouse Metamodel (CWM): Extending UML for Data Warehousing and Business Intelligence

Common Warehouse Metamodel (CWM): Extending UML for Data Warehousing and Business Intelligence Common Warehouse Metamodel (CWM): Extending UML for Data Warehousing and Business Intelligence OMG First Workshop on UML in the.com Enterprise: Modeling CORBA, Components, XML/XMI and Metadata November

More information

Modeling and Verification of a Telecommunication Application using Live Sequence Charts and the Play-Engine Tool

Modeling and Verification of a Telecommunication Application using Live Sequence Charts and the Play-Engine Tool Modeling and Verification of a Telecommunication Application using Live Sequence Charts and the Play-Engine Tool Pierre Combes 1,DavidHarel 2, and Hillel Kugler 3 1 France Telecom Research and Development,

More information

The Enterprise Engineering Series

The Enterprise Engineering Series The Enterprise Engineering Series Series Editors Jan Dietz Erik Proper José Tribolet Editorial Board Terry Halpin Jan Hoogervorst Martin Op t Land Ronald G. Ross Robert Winter For further volumes: www.springer.com/series/8371

More information

A Framework for the Semantics of Behavioral Contracts

A Framework for the Semantics of Behavioral Contracts A Framework for the Semantics of Behavioral Contracts Ashley McNeile Metamaxim Ltd, 48 Brunswick Gardens, London W8 4AN, UK ashley.mcneile@metamaxim.com Abstract. Contracts have proved a powerful concept

More information

AN ONTOLOGICAL APPROACH TO WEB APPLICATION DESIGN USING W2000 METHODOLOGY

AN ONTOLOGICAL APPROACH TO WEB APPLICATION DESIGN USING W2000 METHODOLOGY STUDIA UNIV. BABEŞ BOLYAI, INFORMATICA, Volume L, Number 2, 2005 AN ONTOLOGICAL APPROACH TO WEB APPLICATION DESIGN USING W2000 METHODOLOGY ANNA LISA GUIDO, ROBERTO PAIANO, AND ANDREA PANDURINO Abstract.

More information

µfup: A Software Development Process for Embedded Systems

µfup: A Software Development Process for Embedded Systems µfup: A Software Development Process for Embedded Systems Leif Geiger, Jörg Siedhof, Albert Zündorf University of Kassel, Software Engineering Research Group, Department of Computer Science and Electrical

More information

Towards an Integration of Business Process Modeling and Object-Oriented Software Development

Towards an Integration of Business Process Modeling and Object-Oriented Software Development Towards an Integration of Business Process Modeling and Object-Oriented Software Development Peter Loos, Peter Fettke Chemnitz Univeristy of Technology, Chemnitz, Germany {loos peter.fettke}@isym.tu-chemnitz.de

More information

The Certification of Software Tools with respect to Software Standards

The Certification of Software Tools with respect to Software Standards The Certification of Software Tools with respect to Software Standards Panuchart Bunyakiati, Anthony Finkelstein and David Rosenblum Dept. of Computer Science, University College London London W1CE 6BT

More information

Course Computer Science Academic year 2012/2013 Subject Software Engineering II ECTS 6

Course Computer Science Academic year 2012/2013 Subject Software Engineering II ECTS 6 Course Computer Science Academic year 2012/2013 Subject Software Engineering II ECTS 6 Type of course Compulsory Year 3rd Semester 1st semester Student Workload: Professor(s) Maria Clara Silveira Total

More information

PROCESS-DRIVEN SOFTWARE DEVELOPMENT METHODOLOGY FOR ENTERPRISE INFORMATION SYSTEM

PROCESS-DRIVEN SOFTWARE DEVELOPMENT METHODOLOGY FOR ENTERPRISE INFORMATION SYSTEM PROCESS-DRIVEN SOFTWARE DEVELOPMENT METHODOLOGY FOR ENTERPRISE INFORMATION SYSTEM Kwan Hee Han 1 and Yongsun Choi 2 1 Department of Industrial & Systems Engineering, Engineering Research Institute, Gyeongsang

More information

Keywords Aspect-Oriented Modeling, Rule-based graph transformations, Aspect, pointcuts, crosscutting concerns.

Keywords Aspect-Oriented Modeling, Rule-based graph transformations, Aspect, pointcuts, crosscutting concerns. Volume 4, Issue 5, May 2014 ISSN: 2277 128X International Journal of Advanced Research in Computer Science and Software Engineering Research Paper Available online at: www.ijarcsse.com Functional and Non-Functional

More information

Architectures, and. Service-Oriented. Cloud Computing. Web Services, The Savvy Manager's Guide. Second Edition. Douglas K. Barry. with.

Architectures, and. Service-Oriented. Cloud Computing. Web Services, The Savvy Manager's Guide. Second Edition. Douglas K. Barry. with. Web Services, Service-Oriented Architectures, and Cloud Computing The Savvy Manager's Guide Second Edition Douglas K. Barry with David Dick ELSEVIER AMSTERDAM BOSTON HEIDELBERG LONDON NEW YORK OXFORD PARIS

More information

SOFTWARE SYSTEM RELIABILITY AND SECURITY

SOFTWARE SYSTEM RELIABILITY AND SECURITY SOFTWARE SYSTEM RELIABILITY AND SECURITY NATO Security through Science Series This Series presents the results of scientific meetings supported under the NATO Programme for Security through Science (STS).

More information

Curriculum Vitae. Jens Chr. Godskesen. IT University of Copenhagen Rued Langgaards Vej 7, DK-2300 Copenhagen S, Denmark www.itu.

Curriculum Vitae. Jens Chr. Godskesen. IT University of Copenhagen Rued Langgaards Vej 7, DK-2300 Copenhagen S, Denmark www.itu. Curriculum Vitae Jens Chr. Godskesen Date of Birth May 25, 1963 Position Address www Positions Head of Department IT University of Copenhagen Rued Langgaards Vej 7, DK-2300 Copenhagen S, Denmark www.itu.dk/~jcg

More information

Change Management: Modeling Software Product Lines Evolution

Change Management: Modeling Software Product Lines Evolution Change Management: Modeling Software Product Lines Evolution Samuel A. Ajila, Ph.D. MIEEE Department of Systems & Computer Engineering, Carleton University, 25 Colonel By Drive, Ottawa, Ontario, KS 5B6,

More information

Tracing and Monitoring Framework Impact Prediction

Tracing and Monitoring Framework Impact Prediction Tracing and Monitoring Framework Impact Prediction Douglas Santos Michel Dagenais December 8, 2010 École Polytechnique, Montreal Summary Introduction State of the Art Monitoring Framework Future Work Introduction

More information

From Object Oriented Conceptual Modeling to Automated Programming in Java

From Object Oriented Conceptual Modeling to Automated Programming in Java From Object Oriented Conceptual Modeling to Automated Programming in Java Oscar Pastor, Vicente Pelechano, Emilio Insfrán, Jaime Gómez Department of Information Systems and Computation Valencia University

More information

An XML Definition Language to Support Use Case-Based Requirements Engineering

An XML Definition Language to Support Use Case-Based Requirements Engineering An XML Definition Language to Support Use Case-Based Requirements Engineering M. Golbaz, A. Hasheminasab, and N. Daneshpour Abstract The focus of this paper is to introduce a theory based on a wide-spreading

More information

Model-Checking Verification for Reliable Web Service

Model-Checking Verification for Reliable Web Service Model-Checking Verification for Reliable Web Service Shin NAKAJIMA Hosei University and PRESTO, JST nkjm@i.hosei.ac.jp Abstract Model-checking is a promising technique for the verification and validation

More information

COORDINATION CONTRACTS AS CONNECTORS IN COMPONENT-BASED DEVELOPMENT

COORDINATION CONTRACTS AS CONNECTORS IN COMPONENT-BASED DEVELOPMENT Integrated Design and Process Technology, IDPT-2002 Printed in the United States of America, June, 2002 2002 Society for Design and Process Science COORDINATION CONTRACTS AS CONNECTORS IN COMPONENT-BASED

More information

UML SUPPORTED SOFTWARE DESIGN

UML SUPPORTED SOFTWARE DESIGN UML SUPPORTED SOFTWARE DESIGN Darko Gvozdanović, Saša Dešić, Darko Huljenić Ericsson Nikola Tesla d.d., Krapinska 45, HR-0000 Zagreb, Croatia, tel.: +385 365 3889, faks: +385 365 3548, e-mail: darko.gvozdanovic@etk.ericsson.se

More information

NEW YORK CITY COLLEGE OF TECHNOLOGY/CUNY Computer Systems Technology Department

NEW YORK CITY COLLEGE OF TECHNOLOGY/CUNY Computer Systems Technology Department NEW YORK CITY COLLEGE OF TECHNOLOGY/CUNY Computer Systems Technology Department COURSE: CST1201 Programming Fundamentals (2 class hours, 2 lab hours, 3 credits) Course Description: This course is an intensive

More information

Software Development Methodologies

Software Development Methodologies Software Development Methodologies Lecturer: Raman Ramsin Lecture 5 Integrated Object-Oriented Methodologies: OPM and Catalysis 1 Object Process Methodology (OPM) Introduced by Dori in 1995 Primarily intended

More information

SEN. Software Engineering. Software ENgineering. Landscape maps for enterprise architectures

SEN. Software Engineering. Software ENgineering. Landscape maps for enterprise architectures C e n t r u m v o o r W i s k u n d e e n I n f o r m a t i c a SEN Software Engineering Software ENgineering Landscape maps for enterprise architectures L.W.N. van der Torre, M.M. Lankhorst, H. ter Doest,

More information

A Data Warehouse Engineering Process

A Data Warehouse Engineering Process A Data Warehouse Engineering Process Sergio Luján-Mora and Juan Trujillo D. of Software and Computing Systems, University of Alicante Carretera de San Vicente s/n, Alicante, Spain {slujan,jtrujillo}@dlsi.ua.es

More information

ProGUM-Web: Tool Support for Model-Based Development of Web Applications

ProGUM-Web: Tool Support for Model-Based Development of Web Applications ProGUM-Web: Tool Support for Model-Based Development of Web Applications Marc Lohmann 1, Stefan Sauer 1, and Tim Schattkowsky 2 1 University of Paderborn, Computer Science, D 33095 Paderborn, Germany {mlohmann,sauer}@upb.de

More information

TOGAF usage in outsourcing of software development

TOGAF usage in outsourcing of software development Acta Informatica Pragensia 2(2), 2013, 68 76, DOI: 10.18267/j.aip.25 Section: Online: aip.vse.cz Peer-reviewed papers TOGAF usage in outsourcing of software development Aziz Ahmad Rais 1, Rudolf Pecinovsky

More information

3 Software Architecture

3 Software Architecture Software Architecture and Software Configuration Management Bernhard Westfechtel, Aachen Reidar Conradi, Trondheim Abstract This paper examines the relations between software architecture and software

More information

GECO: Automatic Generator-Composition for (Aspect-oriented) DSLs

GECO: Automatic Generator-Composition for (Aspect-oriented) DSLs GECO: Automatic Generator-Composition for (Aspect-oriented) DSLs Doctoral Symposium - MODELS 2014 Reiner Jung Christian-Albrechts-University Kiel, Germany 30.09.2014 Domain-specific Languages Motivation

More information

DIRECT PH.D. (POST B.S.) IN COMPUTER SCIENCE PROGRAM

DIRECT PH.D. (POST B.S.) IN COMPUTER SCIENCE PROGRAM DIRECT PH.D. (POST B.S.) IN COMPUTER SCIENCE PROGRAM OVERVIEW ADMISSION REQUIREMENTS PROGRAM REQUIREMENTS OVERVIEW FOR THE DIRECT PH.D. IN COMPUTER SCIENCE The Direct Ph.D. in Computer Science program

More information

Electrical Engineering & Computer Science School of Engineering University of Kansas

Electrical Engineering & Computer Science School of Engineering University of Kansas Electrical Engineering & Computer Science School of Engineering University of Kansas Course Title EECS814: Software Quality Assurance Fall 2007 (14322) Thursdays, 7:10 10:00 PM, Regnier Hall 151 Course

More information

An XML Framework for Integrating Continuous Queries, Composite Event Detection, and Database Condition Monitoring for Multiple Data Streams

An XML Framework for Integrating Continuous Queries, Composite Event Detection, and Database Condition Monitoring for Multiple Data Streams An XML Framework for Integrating Continuous Queries, Composite Event Detection, and Database Condition Monitoring for Multiple Data Streams Susan D. Urban 1, Suzanne W. Dietrich 1, 2, and Yi Chen 1 Arizona

More information

The Expressive Power of UML-based Web Engineering 1

The Expressive Power of UML-based Web Engineering 1 The Expressive Power of UML-based Web Engineering 1 NORA KOCH AND ANDREAS KRAUS Ludwig-Maximilians-Universität München. Germany UML-based Web Engineering (UWE) is a development process for Web applications

More information

Protecting Database Centric Web Services against SQL/XPath Injection Attacks

Protecting Database Centric Web Services against SQL/XPath Injection Attacks Protecting Database Centric Web Services against SQL/XPath Injection Attacks Nuno Laranjeiro, Marco Vieira, and Henrique Madeira CISUC, Department of Informatics Engineering University of Coimbra, Portugal

More information

MDA Journal A BPT COLUMN. David S. Frankel. Introduction. May 2004

MDA Journal A BPT COLUMN. David S. Frankel. Introduction. May 2004 Introduction MDA Journal May 2004 At the end of 2002, with the computer industry reeling amidst the near total shutdown in corporate IT spending, IBM was rather quietly continuing its long standing program

More information

Organization of DSLE part. Overview of DSLE. Model driven software engineering. Engineering. Tooling. Topics:

Organization of DSLE part. Overview of DSLE. Model driven software engineering. Engineering. Tooling. Topics: Organization of DSLE part Domain Specific Language Engineering Tooling Eclipse plus EMF Xtext, Xtend, Xpand, QVTo and ATL Prof.dr. Mark van den Brand GLT 2010/11 Topics: Meta-modeling Model transformations

More information

A UML-based Metamodeling Architecture for Database Design

A UML-based Metamodeling Architecture for Database Design A UML-based Metamodeling Architecture for Database Design Marie-Noëlle Terrasse, Marinette Savonnet and George Becker Laboratoire LE2I - Université de Bourgogne - France E-mail: terrasse,savonnet,becker

More information

Verifying Semantic of System Composition for an Aspect-Oriented Approach

Verifying Semantic of System Composition for an Aspect-Oriented Approach 2012 International Conference on System Engineering and Modeling (ICSEM 2012) IPCSIT vol. 34 (2012) (2012) IACSIT Press, Singapore Verifying Semantic of System Composition for an Aspect-Oriented Approach

More information

Aligning Application Architecture to the Business Context

Aligning Application Architecture to the Business Context Aligning Application Architecture to the Business Context Roel J. Wieringa, H.M. Blanken, M.M. Fokkinga, and P.W.P.J. Grefen Center for Telematics and Information Technology, University of Twente, The

More information

UML Modeling of Network Topologies for Distributed Computer System

UML Modeling of Network Topologies for Distributed Computer System Journal of Computing and Information Technology - CIT 17, 2009, 4, 327 334 doi:10.2498/cit.1001319 327 UML Modeling of Network Topologies for Distributed Computer System Vipin Saxena and Deepak Arora Department

More information

Proving the Correctness of Pipelined Micro-Architectures

Proving the Correctness of Pipelined Micro-Architectures Proving the Correctness of Pipelined Micro-Architectures Daniel Kroening, and Wolfgang J. Paul Dept. 14: Computer Science, University of Saarland Post Box 151150, D-66041 Saarbruecken, Germany email: kroening,wjp

More information

PROBABILITY AND STATISTICS. Ma 527. 1. To teach a knowledge of combinatorial reasoning.

PROBABILITY AND STATISTICS. Ma 527. 1. To teach a knowledge of combinatorial reasoning. PROBABILITY AND STATISTICS Ma 527 Course Description Prefaced by a study of the foundations of probability and statistics, this course is an extension of the elements of probability and statistics introduced

More information

&$:,&206Ã.QRZOHGJHÃ$FTXLVLWLRQÃ&RPSRQHQW. Interface 4. &$:,&206Ã&RQILJXUDWLRQÃ6HUYHU &$:,&206Ã%DFNHQG Interface 2 'LVWULEXWHG 3UREOHPÃ6ROYLQJ

&$:,&206Ã.QRZOHGJHÃ$FTXLVLWLRQÃ&RPSRQHQW. Interface 4. &$:,&206Ã&RQILJXUDWLRQÃ6HUYHU &$:,&206Ã%DFNHQG Interface 2 'LVWULEXWHG 3UREOHPÃ6ROYLQJ .12:/('*($&48,6,7,21 )25%8,/',1*$1',17(*5$7,1* 352'8&7&21),*85$7256 A. Felfernig *, G. Friedrich *, D. Jannach *, M. Zanker *, and R. Schäfer + &RPSXWHU6FLHQFHDQG0DQXIDFWXULQJ5HVHDUFK*URXS 8QLYHUVLWlW.ODJHQIXUW.ODJHQIXUW$XVWULD

More information

The Road in Software Engineering Education from Structured Programming to Object- Oriented Modelling

The Road in Software Engineering Education from Structured Programming to Object- Oriented Modelling The Road in Software Engineering Education from Structured Programming to Object- Oriented Modelling Dr. József Tick Budapest Polytechnic, Hungary, tick@bmf.hu Abstract: Higher level software engineering

More information

A Component Assembly Architecture with Two-Level Grammar Infrastructure 1

A Component Assembly Architecture with Two-Level Grammar Infrastructure 1 A Component Assembly Architecture with Two-Level Grammar Infrastructure 1 Wei Zhao 2 Barrett R. Bryant 2 Fei Cao 2 Rajeev R. Raje 3 Mikhail Auguston 4 Andrew M. Olson 3 Carol C. Burt 2 1. Introduction

More information

Software Visualization Tools for Component Reuse

Software Visualization Tools for Component Reuse Software Visualization Tools for Component Reuse Craig Anslow Stuart Marshall James Noble Robert Biddle 1 School of Mathematics, Statistics and Computer Science, Victoria University of Wellington, New

More information

SOFTWARE ENGINEERING PROGRAM

SOFTWARE ENGINEERING PROGRAM SOFTWARE ENGINEERING PROGRAM PROGRAM TITLE DEGREE TITLE Master of Science Program in Software Engineering Master of Science (Software Engineering) M.Sc. (Software Engineering) PROGRAM STRUCTURE Total program

More information

KEEP THIS COPY FOR REPRODUCTION PURPOSES. I ~~~~~Final Report

KEEP THIS COPY FOR REPRODUCTION PURPOSES. I ~~~~~Final Report MASTER COPY KEEP THIS COPY FOR REPRODUCTION PURPOSES 1 Form Approved REPORT DOCUMENTATION PAGE I OMS No. 0704-0188 Public reoorting burden for this collection of information is estimated to average I hour

More information

Secure Database Development

Secure Database Development Secure Database Development Jan Jurjens () and Eduardo B. Fernandez (2) () Computing Department, The Open University, Milton Keynes, MK7 8LA GB http://www.jurjens.de/jan (2) Dept. of Computer Science,

More information

Principles and Software Realization of a Multimedia Course on Theoretical Electrical Engineering Based on Enterprise Technology

Principles and Software Realization of a Multimedia Course on Theoretical Electrical Engineering Based on Enterprise Technology SERBIAN JOURNAL OF ELECTRICAL ENGINEERING Vol. 1, No. 1, November 2003, 81-87 Principles and Software Realization of a Multimedia Course on Theoretical Electrical Engineering Based on Enterprise Technology

More information

Roles in Software Development using Domain Specific Modelling Languages

Roles in Software Development using Domain Specific Modelling Languages Roles in Software Development using Domain Specific Modelling Languages Holger Krahn Bernhard Rumpe Steven Völkel Institute for Software Systems Engineering Technische Universität Braunschweig, Braunschweig,

More information

Chap 1. Introduction to Software Architecture

Chap 1. Introduction to Software Architecture Chap 1. Introduction to Software Architecture 1. Introduction 2. IEEE Recommended Practice for Architecture Modeling 3. Architecture Description Language: the UML 4. The Rational Unified Process (RUP)

More information

Business Process Modelling Languages, Goals and Variabilities

Business Process Modelling Languages, Goals and Variabilities Business Process Modelling Languages, Goals and Variabilities Birgit Korherr Women s Postgraduate College for Internet Technologies Institute of Software Technology and Interactive Systems Vienna University

More information

PROJECT MANAGEMENT METHODOLOGY OF OBJECT- ORIENTED SOFTWARE DEVELOPMENT

PROJECT MANAGEMENT METHODOLOGY OF OBJECT- ORIENTED SOFTWARE DEVELOPMENT PROJECT MANAGEMENT METHODOLOGY OF OBJECT- ORIENTED SOFTWARE DEVELOPMENT Ing. David BEDNÁŘ, Doctoral Degree Programme (2) Dept. of Information Systems, FIT, BUT E-mail: bednar@fit.vutbr.cz Supervised by:

More information

Modeling Cloud Architectures as Interactive Systems

Modeling Cloud Architectures as Interactive Systems Modeling Cloud Architectures as Interactive Systems Antonio Navarro Perez and Bernhard Rumpe Department of Software Engineering, RWTH Aachen University, Aachen, Germany Abstract. The development and maintenance

More information

Aspect Oriented Strategy to model the Examination Management Systems

Aspect Oriented Strategy to model the Examination Management Systems Aspect Oriented Strategy to model the Examination Management Systems P.Durga 1, S.Jeevitha 2, A.Poomalai 3, Prof.M.Sowmiya 4 and Prof.S.Balamurugan 5 Department of IT, Kalaignar Karunanidhi Institute of

More information

Agile Modeling: A Brief Overview

Agile Modeling: A Brief Overview Agile Modeling: A Brief Overview Scott W. Ambler President, Ronin International scott.ambler@ronin-intl.com Abstract: Agile Modeling (AM) is a practice-based methodology for effective modeling of software-based

More information

The W-MODEL Strengthening the Bond Between Development and Test

The W-MODEL Strengthening the Bond Between Development and Test Andreas Spillner Dr. Spillner is working as Professor at the Hochschule Bremen (University of Applied Sciences) where he is responsible for software engineering and real time systems. Dr. Spillner has

More information