Harvard |

Harvard

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008872462/catalog> ?p ?o. }

Showing items 1 to 32 of 32 with 100 items per page.

catalog contributor b12452731.
catalog contributor b12452732.
catalog contributor b12452733.
catalog created "c2001.".
catalog date "2001".
catalog date "c2001.".
catalog dateCopyrighted "c2001.".
catalog description "Formalization of UML-Statecharts / Michael von der Beeck -- UML for Agent-Oriented Software Development: The Tropos Proposal / John Mylopoulos, Manuel Kolp and Jaelson Castro -- A UML Meta-model for Contract Aware Components / Torben Weis, Christian Becker and Kurt Geihs / [et al.] -- A Specification Model for Interface Suites / E. E. Roubtsova, L. C. M. van Gool and R. Kuiper / [et al.] -- Against Use Case Interleaving / Pierre Metz, John O'Brien and Wolfgang Weber -- Estimating Software Development Effort Based on Use Cases -- Experiences from Industry / Bente Anda, Hege Dreiem and Dag I. K. Sjoberg / [et al.] -- Workshops and Tutorials at the UML 2001 Conference / Heinrich Hussmann.".
catalog description "Includes bibliographical references and index.".
catalog description "Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model / Gregor Engels, Reiko Heckel and Jochen Malte Kuster -- A New UML Profile for Real-Time System Formal Design and Validation / L. Apvrille, P. de Saqui-Sannes and C. Lohr / [et al.] -- Representing Embedded System Sequence Diagrams as a Formal Language / Elizabeth Latronico and Philip Koopman -- Scenario-Based Monitoring and Testing of Real-Time UML Models / Marc Lettrari and Jochen Klose -- Semantics of the Minimum Multiplicity in Ternary Associations in UML / Gonzalo Genova, Juan Llorens and Paloma Martinez -- Extending UML to Support Ontology Engineering for the Semantic Web / Kenneth Baclawski, Mieczyslaw K. Kokar and Paul A. Kogut / [et al.] -- On Associations in the Unified Modelling Language / Perdita Stevens -- iState: A Statechart Translator / Emil Sekerinski and Rafik Zurob -- Specifying Concurrent System Behavior and Timing Constraints Using OCL and UML / Shane Sendall and Alfred Storhmeier -- ".
catalog description "The Preacher at Arrakeen / Jim Rumbaugh -- An Action Semantics for MML / Jose M. Alvarez, Tony Clark and Andy Evans / [et al.] -- The Essence of Multilevel Metamodeling / Colin Atkinson and Thomas Kuhne -- Mapping between Levels in the Metamodel Architecture / Jose M. Alvarez, Andy Evans and Paul Sammut -- An Execution Algorithm for UML Activity Graphs / Rik Eshuis and Roel Wieringa -- Timing Analysis of UML Activity Diagrams / Li Xuandong, Cui Meng and Pei Yu / [et al.] -- UML Activity Diagrams as a Workflow Specification Language / Marion Dumas and Arthur H. M. ter Hofstede -- On Querying UML Data Models with OCL / D. H. Akehurst and B. Bordbar -- OCL as a Specification Language for Business Rules in Database Applications / Birgit Demuth, Heinrich Hussmann and Sten Loecher -- A Formal Semantics for OCL 1.4 / Maria Victoria Cengarle and Alexander Knapp -- Refactoring UML Models / Gerson Sunye, Damien Pollet and Yves Le Traon / [et al.] -- ".
catalog description "UML Support for Designing Software Systems as a Composition of Design Patterns / Sherif M. Yacoub and Hany H. Ammar -- Integrating the ConcernBASE Approach with SADL / Valentin Crettaz, Mohamed Mancona Kande and Shane Sendall / [et al.] -- The Message Paradigm in Object-Oriented Analysis / Frank Devos and Eric Steegmans -- A UML-Based Approach to System Testing / Lionel Briand and Yvan Labiche -- UML Modelling and Performance Analysis of Mobile Software Architectures / Vincenzo Grassi and Raffaela Mirandola -- Extending UML for Object-Relational Database Design / E. Marcos, B. Vela and J. M. Cavero -- Understanding UML -- Pains and Rewards / Werner Damm -- A Formal Semantics of UML State Machines Based on Structured Graph Transformation / Sabine Kuske -- A Visualization of OCL Using Collaborations / Paolo Bottoni, Manuel Koch and Francesco Parisi-Presicce / [et al.] -- ".
catalog extent "xiv, 510 p. :".
catalog identifier "3540426671 (pbk. : alk. paper)".
catalog isPartOf "Lecture notes in computer science, 0302-9743 ; 2185".
catalog issued "2001".
catalog issued "c2001.".
catalog language "eng".
catalog publisher "Berlin ; New York : Springer,".
catalog subject "005.3 21".
catalog subject "Computer software Development Congresses.".
catalog subject "Modeling languages (Computer science) Congresses.".
catalog subject "QA76.76.D47 U45 2001".
catalog subject "UML (Computer science) Congresses.".
catalog tableOfContents "Formalization of UML-Statecharts / Michael von der Beeck -- UML for Agent-Oriented Software Development: The Tropos Proposal / John Mylopoulos, Manuel Kolp and Jaelson Castro -- A UML Meta-model for Contract Aware Components / Torben Weis, Christian Becker and Kurt Geihs / [et al.] -- A Specification Model for Interface Suites / E. E. Roubtsova, L. C. M. van Gool and R. Kuiper / [et al.] -- Against Use Case Interleaving / Pierre Metz, John O'Brien and Wolfgang Weber -- Estimating Software Development Effort Based on Use Cases -- Experiences from Industry / Bente Anda, Hege Dreiem and Dag I. K. Sjoberg / [et al.] -- Workshops and Tutorials at the UML 2001 Conference / Heinrich Hussmann.".
catalog tableOfContents "Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model / Gregor Engels, Reiko Heckel and Jochen Malte Kuster -- A New UML Profile for Real-Time System Formal Design and Validation / L. Apvrille, P. de Saqui-Sannes and C. Lohr / [et al.] -- Representing Embedded System Sequence Diagrams as a Formal Language / Elizabeth Latronico and Philip Koopman -- Scenario-Based Monitoring and Testing of Real-Time UML Models / Marc Lettrari and Jochen Klose -- Semantics of the Minimum Multiplicity in Ternary Associations in UML / Gonzalo Genova, Juan Llorens and Paloma Martinez -- Extending UML to Support Ontology Engineering for the Semantic Web / Kenneth Baclawski, Mieczyslaw K. Kokar and Paul A. Kogut / [et al.] -- On Associations in the Unified Modelling Language / Perdita Stevens -- iState: A Statechart Translator / Emil Sekerinski and Rafik Zurob -- Specifying Concurrent System Behavior and Timing Constraints Using OCL and UML / Shane Sendall and Alfred Storhmeier -- ".
catalog tableOfContents "The Preacher at Arrakeen / Jim Rumbaugh -- An Action Semantics for MML / Jose M. Alvarez, Tony Clark and Andy Evans / [et al.] -- The Essence of Multilevel Metamodeling / Colin Atkinson and Thomas Kuhne -- Mapping between Levels in the Metamodel Architecture / Jose M. Alvarez, Andy Evans and Paul Sammut -- An Execution Algorithm for UML Activity Graphs / Rik Eshuis and Roel Wieringa -- Timing Analysis of UML Activity Diagrams / Li Xuandong, Cui Meng and Pei Yu / [et al.] -- UML Activity Diagrams as a Workflow Specification Language / Marion Dumas and Arthur H. M. ter Hofstede -- On Querying UML Data Models with OCL / D. H. Akehurst and B. Bordbar -- OCL as a Specification Language for Business Rules in Database Applications / Birgit Demuth, Heinrich Hussmann and Sten Loecher -- A Formal Semantics for OCL 1.4 / Maria Victoria Cengarle and Alexander Knapp -- Refactoring UML Models / Gerson Sunye, Damien Pollet and Yves Le Traon / [et al.] -- ".
catalog tableOfContents "UML Support for Designing Software Systems as a Composition of Design Patterns / Sherif M. Yacoub and Hany H. Ammar -- Integrating the ConcernBASE Approach with SADL / Valentin Crettaz, Mohamed Mancona Kande and Shane Sendall / [et al.] -- The Message Paradigm in Object-Oriented Analysis / Frank Devos and Eric Steegmans -- A UML-Based Approach to System Testing / Lionel Briand and Yvan Labiche -- UML Modelling and Performance Analysis of Mobile Software Architectures / Vincenzo Grassi and Raffaela Mirandola -- Extending UML for Object-Relational Database Design / E. Marcos, B. Vela and J. M. Cavero -- Understanding UML -- Pains and Rewards / Werner Damm -- A Formal Semantics of UML State Machines Based on Structured Graph Transformation / Sabine Kuske -- A Visualization of OCL Using Collaborations / Paolo Bottoni, Manuel Koch and Francesco Parisi-Presicce / [et al.] -- ".
catalog title "UML 2001 : the unified modeling language : modeling languages, concepts, and tools : 4th international conference, Toronto, Canada, October 1-5, 2001 : proceedings / Martin Gogolla, Cris Kobryn (ed.).".
catalog type "Conference proceedings. fast".
catalog type "Toronto (2001) swd".
catalog type "text".