top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Real time UML workshop for embedded systems [[electronic resource] /] / by Bruce Powell Douglass
Real time UML workshop for embedded systems [[electronic resource] /] / by Bruce Powell Douglass
Autore Douglass Bruce Powel
Edizione [1st edition]
Pubbl/distr/stampa Massachusettes, : Elsevier, c2007
Descrizione fisica 1 online resource (433 p.)
Disciplina 005.117
Collana Embedded technology series
Soggetto topico Embedded computer systems - Programming
Real-time data processing
Object-oriented methods (Computer science)
Soggetto genere / forma Electronic books.
ISBN 1-281-00685-8
9786611006853
0-08-049223-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Front Cover; Real-Time UML Workshop for Embedded Systems; Copyright Page; Contents; Preface; Audience; Goals; Where to Go After the Book; Evaluate UML on ARM; Acknowledgments; About the Author; What's on the CD-ROM?; Chapter 1. Introduction; Basic Modeling Concepts of the UML; Structural Elements and Diagrams; Behavioral Elements and Diagrams; Use Case and Requirements Models; Summary; Check Out the CD-ROM; Chapter 2. The Harmony Process; Introduction; The Harmony Development Process; Summary; Chapter 3. Specifying Requirements; Overview
Problem 3.1 Identifying Kinds of Requirements for Roadrunner Traffic Light Control SystemProblem 3.2 Identifying Use Cases for the Roadrunner Traffic Light Control System; Problem 3.3 Mapping Requirements to Use Cases; Problem 3.4 Identifying Use Cases for the Coyote UAV System; Problem 3.5 Identifying Parametric Requirements; Problem 3.6 Capturing Quality of Service Requirements in Use Cases; Problem 3.7 Operational View: Identifying Traffic Light Scenarios; Problem 3.8 Operational View: CUAVS Optical Surveillance Scenarios; Problem 3.9 Specification View: Use-Case Description
Specification View: State Machines for Requirements CaptureProblem 3.10 Specification View: Capturing Complex Requirements; Problem 3.11 Operational to Specification View: Capturing Operational Contracts; References; Chapter 4. Systems Architecture; Overview; Problem 4.1 Organizing the Systems Model; Problem 4.2 Subsystem Identification; Problem 4.3 Mapping Operational Contracts into Subsystem Architecture; Problem 4.4 Identifying Subsystem Use Cases; Looking Ahead; Chapter 5. Object Analysis; Overview; Key Strategies for Object Identification
Problem 5.1 Apply Nouns and Causal Agents StrategiesProblem 5.2 Apply Services and Messages Strategies; Problem 5.3 Apply Real-World Items and Physical Devices Strategies; Problem 5.4 Apply Key Concepts and Transaction Strategies; Problem 5.5 Apply Identify Visual Elements and Scenarios Strategies; Problem 5.6 Merge Models from the Various Strategies; Looking Ahead; Chapter 6. Architectural Design; Overview; Problem 6.1 Concurrency and Resource Architecture; Problem 6.2 Distribution Architecture; Problem 6.3 Safety and Reliability Architecture; Looking Ahead
Chapter 7. Mechanistic and Detailed DesignOverview; Mechanistic Design; Detailed Design; Problem 7.1 Applying Mechanistic Design Patterns-Part 1; Problem 7.2 Applying Mechanistic Design Patterns-Part 2; Problem 7.3 Applying Detailed-Design State Behavior Patterns; Problem 7.4 Applying Detailed Design Idioms; Summary; Chapter 8. Specifying Requirements: Answers; Answer 3.1 Identifying Kinds of Requirements; Answer 3.2 Identifying Use Cases for Roadrunner Traffic Light Control System; Answer 3.3 Mapping Requirements to Use Cases; Answer 3.4 Identifying Use Cases for Coyote UAV System
Answer 3.5 Identifying Parametric Requirements
Record Nr. UNINA-9910457339503321
Douglass Bruce Powel  
Massachusettes, : Elsevier, c2007
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Real time UML workshop for embedded systems [[electronic resource] /] / by Bruce Powell Douglass
Real time UML workshop for embedded systems [[electronic resource] /] / by Bruce Powell Douglass
Autore Douglass Bruce Powel
Edizione [1st edition]
Pubbl/distr/stampa Massachusettes, : Elsevier, c2007
Descrizione fisica 1 online resource (433 p.)
Disciplina 005.117
Collana Embedded technology series
Soggetto topico Embedded computer systems - Programming
Real-time data processing
Object-oriented methods (Computer science)
ISBN 1-281-00685-8
9786611006853
0-08-049223-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Front Cover; Real-Time UML Workshop for Embedded Systems; Copyright Page; Contents; Preface; Audience; Goals; Where to Go After the Book; Evaluate UML on ARM; Acknowledgments; About the Author; What's on the CD-ROM?; Chapter 1. Introduction; Basic Modeling Concepts of the UML; Structural Elements and Diagrams; Behavioral Elements and Diagrams; Use Case and Requirements Models; Summary; Check Out the CD-ROM; Chapter 2. The Harmony Process; Introduction; The Harmony Development Process; Summary; Chapter 3. Specifying Requirements; Overview
Problem 3.1 Identifying Kinds of Requirements for Roadrunner Traffic Light Control SystemProblem 3.2 Identifying Use Cases for the Roadrunner Traffic Light Control System; Problem 3.3 Mapping Requirements to Use Cases; Problem 3.4 Identifying Use Cases for the Coyote UAV System; Problem 3.5 Identifying Parametric Requirements; Problem 3.6 Capturing Quality of Service Requirements in Use Cases; Problem 3.7 Operational View: Identifying Traffic Light Scenarios; Problem 3.8 Operational View: CUAVS Optical Surveillance Scenarios; Problem 3.9 Specification View: Use-Case Description
Specification View: State Machines for Requirements CaptureProblem 3.10 Specification View: Capturing Complex Requirements; Problem 3.11 Operational to Specification View: Capturing Operational Contracts; References; Chapter 4. Systems Architecture; Overview; Problem 4.1 Organizing the Systems Model; Problem 4.2 Subsystem Identification; Problem 4.3 Mapping Operational Contracts into Subsystem Architecture; Problem 4.4 Identifying Subsystem Use Cases; Looking Ahead; Chapter 5. Object Analysis; Overview; Key Strategies for Object Identification
Problem 5.1 Apply Nouns and Causal Agents StrategiesProblem 5.2 Apply Services and Messages Strategies; Problem 5.3 Apply Real-World Items and Physical Devices Strategies; Problem 5.4 Apply Key Concepts and Transaction Strategies; Problem 5.5 Apply Identify Visual Elements and Scenarios Strategies; Problem 5.6 Merge Models from the Various Strategies; Looking Ahead; Chapter 6. Architectural Design; Overview; Problem 6.1 Concurrency and Resource Architecture; Problem 6.2 Distribution Architecture; Problem 6.3 Safety and Reliability Architecture; Looking Ahead
Chapter 7. Mechanistic and Detailed DesignOverview; Mechanistic Design; Detailed Design; Problem 7.1 Applying Mechanistic Design Patterns-Part 1; Problem 7.2 Applying Mechanistic Design Patterns-Part 2; Problem 7.3 Applying Detailed-Design State Behavior Patterns; Problem 7.4 Applying Detailed Design Idioms; Summary; Chapter 8. Specifying Requirements: Answers; Answer 3.1 Identifying Kinds of Requirements; Answer 3.2 Identifying Use Cases for Roadrunner Traffic Light Control System; Answer 3.3 Mapping Requirements to Use Cases; Answer 3.4 Identifying Use Cases for Coyote UAV System
Answer 3.5 Identifying Parametric Requirements
Record Nr. UNINA-9910784365203321
Douglass Bruce Powel  
Massachusettes, : Elsevier, c2007
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Real time UML workshop for embedded systems / / by Bruce Powell Douglass
Real time UML workshop for embedded systems / / by Bruce Powell Douglass
Autore Douglass Bruce Powel
Edizione [1st edition]
Pubbl/distr/stampa Massachusettes, : Elsevier, c2007
Descrizione fisica 1 online resource (433 p.)
Disciplina 005.117
Collana Embedded technology series
Soggetto topico Embedded computer systems - Programming
Real-time data processing
Object-oriented methods (Computer science)
ISBN 1-281-00685-8
9786611006853
0-08-049223-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Front Cover; Real-Time UML Workshop for Embedded Systems; Copyright Page; Contents; Preface; Audience; Goals; Where to Go After the Book; Evaluate UML on ARM; Acknowledgments; About the Author; What's on the CD-ROM?; Chapter 1. Introduction; Basic Modeling Concepts of the UML; Structural Elements and Diagrams; Behavioral Elements and Diagrams; Use Case and Requirements Models; Summary; Check Out the CD-ROM; Chapter 2. The Harmony Process; Introduction; The Harmony Development Process; Summary; Chapter 3. Specifying Requirements; Overview
Problem 3.1 Identifying Kinds of Requirements for Roadrunner Traffic Light Control SystemProblem 3.2 Identifying Use Cases for the Roadrunner Traffic Light Control System; Problem 3.3 Mapping Requirements to Use Cases; Problem 3.4 Identifying Use Cases for the Coyote UAV System; Problem 3.5 Identifying Parametric Requirements; Problem 3.6 Capturing Quality of Service Requirements in Use Cases; Problem 3.7 Operational View: Identifying Traffic Light Scenarios; Problem 3.8 Operational View: CUAVS Optical Surveillance Scenarios; Problem 3.9 Specification View: Use-Case Description
Specification View: State Machines for Requirements CaptureProblem 3.10 Specification View: Capturing Complex Requirements; Problem 3.11 Operational to Specification View: Capturing Operational Contracts; References; Chapter 4. Systems Architecture; Overview; Problem 4.1 Organizing the Systems Model; Problem 4.2 Subsystem Identification; Problem 4.3 Mapping Operational Contracts into Subsystem Architecture; Problem 4.4 Identifying Subsystem Use Cases; Looking Ahead; Chapter 5. Object Analysis; Overview; Key Strategies for Object Identification
Problem 5.1 Apply Nouns and Causal Agents StrategiesProblem 5.2 Apply Services and Messages Strategies; Problem 5.3 Apply Real-World Items and Physical Devices Strategies; Problem 5.4 Apply Key Concepts and Transaction Strategies; Problem 5.5 Apply Identify Visual Elements and Scenarios Strategies; Problem 5.6 Merge Models from the Various Strategies; Looking Ahead; Chapter 6. Architectural Design; Overview; Problem 6.1 Concurrency and Resource Architecture; Problem 6.2 Distribution Architecture; Problem 6.3 Safety and Reliability Architecture; Looking Ahead
Chapter 7. Mechanistic and Detailed DesignOverview; Mechanistic Design; Detailed Design; Problem 7.1 Applying Mechanistic Design Patterns-Part 1; Problem 7.2 Applying Mechanistic Design Patterns-Part 2; Problem 7.3 Applying Detailed-Design State Behavior Patterns; Problem 7.4 Applying Detailed Design Idioms; Summary; Chapter 8. Specifying Requirements: Answers; Answer 3.1 Identifying Kinds of Requirements; Answer 3.2 Identifying Use Cases for Roadrunner Traffic Light Control System; Answer 3.3 Mapping Requirements to Use Cases; Answer 3.4 Identifying Use Cases for Coyote UAV System
Answer 3.5 Identifying Parametric Requirements
Record Nr. UNINA-9910809962903321
Douglass Bruce Powel  
Massachusettes, : Elsevier, c2007
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Structured Object-Oriented Formal Language and Method : 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers / / Shaoying Liu, Zhenhua Duan, and Ai Liu, editors
Structured Object-Oriented Formal Language and Method : 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers / / Shaoying Liu, Zhenhua Duan, and Ai Liu, editors
Edizione [First edition.]
Pubbl/distr/stampa Cham, Switzerland : , : Springer, , [2023]
Descrizione fisica 1 online resource (155 pages)
Disciplina 004.0151
Collana Lecture Notes in Computer Science Series
Soggetto topico Formal methods (Computer science)
Object-oriented methods (Computer science)
ISBN 9783031294761
9783031294754
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Model Checking & Markov Decision Process -- Formal Derivation and Verification of Critical Path Algorithm for Directed Acyclic Graph -- An Approach of Transforming Non-Markovian Reward to Markovian Reward -- A JPSL based Model Checking Approach for Java Programs -- Model Analysis & Tool Implementation -- Implementation of Matlab matfun Toolkit Based on MSVL -- Extending Visibly Pushdown Automata over Multi-matching Nested Relations -- Schedulability analysis of rate-monotonic algorithm on concurrent execution of digraph real-time tasks -- Formal Specification & Testing -- Formalization of natural language into PPTL specification via neural machine translation -- Testing Program Segments to Detect Runtime Exceptions in Java -- Inferring Exact Domains to Efficiently Generate Valid Test Cases via Testing -- Algorithms & Verification -- Testing and Verifying the security of COVID-19 CT Images Deep Learning System with Adversarial Attack -- Verifying and improving neural networks using testing-based formal verification -- Alternating Projection Temporal Epistemic Logic.
Record Nr. UNISA-996517752003316
Cham, Switzerland : , : Springer, , [2023]
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Structured Object-Oriented Formal Language and Method : 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers / / Shaoying Liu, Zhenhua Duan, and Ai Liu, editors
Structured Object-Oriented Formal Language and Method : 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers / / Shaoying Liu, Zhenhua Duan, and Ai Liu, editors
Edizione [First edition.]
Pubbl/distr/stampa Cham, Switzerland : , : Springer, , [2023]
Descrizione fisica 1 online resource (155 pages)
Disciplina 004.0151
Collana Lecture Notes in Computer Science Series
Soggetto topico Formal methods (Computer science)
Object-oriented methods (Computer science)
ISBN 9783031294761
9783031294754
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Model Checking & Markov Decision Process -- Formal Derivation and Verification of Critical Path Algorithm for Directed Acyclic Graph -- An Approach of Transforming Non-Markovian Reward to Markovian Reward -- A JPSL based Model Checking Approach for Java Programs -- Model Analysis & Tool Implementation -- Implementation of Matlab matfun Toolkit Based on MSVL -- Extending Visibly Pushdown Automata over Multi-matching Nested Relations -- Schedulability analysis of rate-monotonic algorithm on concurrent execution of digraph real-time tasks -- Formal Specification & Testing -- Formalization of natural language into PPTL specification via neural machine translation -- Testing Program Segments to Detect Runtime Exceptions in Java -- Inferring Exact Domains to Efficiently Generate Valid Test Cases via Testing -- Algorithms & Verification -- Testing and Verifying the security of COVID-19 CT Images Deep Learning System with Adversarial Attack -- Verifying and improving neural networks using testing-based formal verification -- Alternating Projection Temporal Epistemic Logic.
Record Nr. UNINA-9910683344103321
Cham, Switzerland : , : Springer, , [2023]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
UML Distilled : guida rapida al linguaggio di modellazione standard / Martin Fowler
UML Distilled : guida rapida al linguaggio di modellazione standard / Martin Fowler
Autore Fowler, Martin
Edizione [3. ed.]
Pubbl/distr/stampa Milano : Pearson Education, 2004
Descrizione fisica xxviii, 162 cm : fig. ; 24 cm
Disciplina 005.117
005.12
Soggetto topico Elaboratori elettronici - Linguaggio UML
Object-oriented methods (Computer science)
Computer software - Development
UML (Computer science)
ISBN 8871922077
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNISALENTO-991000917319707536
Fowler, Martin  
Milano : Pearson Education, 2004
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
UML distilled : a brief guide to the standard object modeling language / Martin Fowler
UML distilled : a brief guide to the standard object modeling language / Martin Fowler
Autore Fowler, Martin
Edizione [3rd ed.]
Pubbl/distr/stampa Boston : Addison-Wesley, c2004
Descrizione fisica xxx, 175 p. : ill. ; 24 cm
Disciplina 005.117
005.12
Soggetto topico Object-oriented methods (Computer science)
Computer software - Development
UML (Computer science)
ISBN 9780321193681
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001137829707536
Fowler, Martin  
Boston : Addison-Wesley, c2004
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
UML'99 - the unified modeling language : beyond the standard : second international conference, Fort Collins, CO, USA, October 28-30, 1999 : proceedings / / edited by Robert France, Bernhard Rumpe
UML'99 - the unified modeling language : beyond the standard : second international conference, Fort Collins, CO, USA, October 28-30, 1999 : proceedings / / edited by Robert France, Bernhard Rumpe
Edizione [1st ed. 1999.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer, , [1999]
Descrizione fisica 1 online resource (XVII, 726 p.)
Disciplina 005.1
Collana Lecture Notes in Computer Science
Soggetto topico UML (Computer science)
Computer software - Development
Object-oriented methods (Computer science)
ISBN 3-540-46852-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Talk 1 (Abstract) -- Architecting Web-Based Systems with the Unified Modeling Language -- Software Architecture -- Extending Architectural Representation in UML with View Integration -- Enabling the Refinement of a Software Architecture into a Design -- Using the UML for Architectural Description -- UML and Other Notations -- Viewing the OML as a Variant of the UML -- A Comparison of the Business Object Notation and the Unified Modeling Language -- Formalizing the UML Class Diagram Using Object-Z -- Formalizing Interactions -- A Formal Approach to Collaborations in the Unified Modeling Language -- A Formal Semantics for UML Interactions -- Panel 1 -- UML 2.0 Architectural Crossroads: Sculpting or Mudpacking? -- Meta-Modeling -- Core Meta-Modelling Semantics of UML: The pUML Approach -- A Metamodel for OCL -- Tools -- Tool-Supported Compression of UML Class Diagrams -- A Pragmatic Approach for Building a User-Friendly and Flexible UML Model Repository -- Components -- Modeling Dynamic Software Components in UML -- Extending UML for Modeling Reflective Software Components -- UML Extension Mechanisms -- Nine Suggestions for Improving UML Extensibility -- A Classification of Stereotypes for Object-Oriented Modeling Languages -- First-Class Extensibility for UML — Packaging of Profiles, Stereotypes, Patterns -- Process Modeling -- UML-Based Fusion Analysis -- Using UML for Modelling the Static Part of a Software Process -- Framework for Describing UML Compatible Development Processes -- Invited Talk 2 -- On the Behavior of Complex Object-Oriented Systems -- Real-Time Systems -- UML-RT as a Candidate for Modeling Embedded Real-Time Systems in the Telecommunication Domain -- Modeling Hard Real Time Systems with UML The OOHARTS Approach -- UML Based Performance Modeling Framework for Object-Oriented Distributed Systems -- Constraint Languages -- Defining the Context of OCL Expressions -- Mixing Visual and Textual Constraint Languages -- Correct Realizations of Interface Constraints with OCL -- Analyzing UML Models 1 -- Generating Tests from UML Specifications -- Formalising UML State Machines for Model Checking -- Panel 2 -- SDL as UML: Why and What Panel -- Coding 1 -- UML Behavior: Inheritance and Implementation in Current Object-Oriented Languages -- UML Collaboration Diagrams and Their Transformation to Java -- Analyzing UML Models 2 -- Towards Three-Dimensional Representation and Animation of UML Diagrams -- Typechecking UML Static Models -- Precise Behavioral Modeling -- Analysing UML Use Cases as Contracts -- Closing the Gap between Object-Oriented Modeling of Structure and Behavior -- Static Modeling -- Black and White Diamonds -- Interconnecting Objects via Contracts -- How Can a Subsystem Be Both a Package and a Classifier? -- Applying the UML -- Using UML/OCL Constraints for Relational Database Design -- Towards a UML Extension for Hypermedia Design -- Why Unified Is not Universal -- Sequence Diagrams -- Timed Sequence Diagrams and Tool-Based Analysis — A Case Study -- Timing Analysis of UML Sequence Diagrams -- Coding 2 -- The Normal Object Form: Bridging the Gap from Models to Code -- Modeling Exceptional Behavior -- Panel 3 -- Advanced Methods and Tools for a Precise UML.
Record Nr. UNINA-9910143641703321
Berlin, Heidelberg : , : Springer, , [1999]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
UML'99 - the unified modeling language : beyond the standard : second international conference, Fort Collins, CO, USA, October 28-30, 1999 : proceedings / / edited by Robert France, Bernhard Rumpe
UML'99 - the unified modeling language : beyond the standard : second international conference, Fort Collins, CO, USA, October 28-30, 1999 : proceedings / / edited by Robert France, Bernhard Rumpe
Edizione [1st ed. 1999.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer, , [1999]
Descrizione fisica 1 online resource (XVII, 726 p.)
Disciplina 005.1
Collana Lecture Notes in Computer Science
Soggetto topico UML (Computer science)
Computer software - Development
Object-oriented methods (Computer science)
ISBN 3-540-46852-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Talk 1 (Abstract) -- Architecting Web-Based Systems with the Unified Modeling Language -- Software Architecture -- Extending Architectural Representation in UML with View Integration -- Enabling the Refinement of a Software Architecture into a Design -- Using the UML for Architectural Description -- UML and Other Notations -- Viewing the OML as a Variant of the UML -- A Comparison of the Business Object Notation and the Unified Modeling Language -- Formalizing the UML Class Diagram Using Object-Z -- Formalizing Interactions -- A Formal Approach to Collaborations in the Unified Modeling Language -- A Formal Semantics for UML Interactions -- Panel 1 -- UML 2.0 Architectural Crossroads: Sculpting or Mudpacking? -- Meta-Modeling -- Core Meta-Modelling Semantics of UML: The pUML Approach -- A Metamodel for OCL -- Tools -- Tool-Supported Compression of UML Class Diagrams -- A Pragmatic Approach for Building a User-Friendly and Flexible UML Model Repository -- Components -- Modeling Dynamic Software Components in UML -- Extending UML for Modeling Reflective Software Components -- UML Extension Mechanisms -- Nine Suggestions for Improving UML Extensibility -- A Classification of Stereotypes for Object-Oriented Modeling Languages -- First-Class Extensibility for UML — Packaging of Profiles, Stereotypes, Patterns -- Process Modeling -- UML-Based Fusion Analysis -- Using UML for Modelling the Static Part of a Software Process -- Framework for Describing UML Compatible Development Processes -- Invited Talk 2 -- On the Behavior of Complex Object-Oriented Systems -- Real-Time Systems -- UML-RT as a Candidate for Modeling Embedded Real-Time Systems in the Telecommunication Domain -- Modeling Hard Real Time Systems with UML The OOHARTS Approach -- UML Based Performance Modeling Framework for Object-Oriented Distributed Systems -- Constraint Languages -- Defining the Context of OCL Expressions -- Mixing Visual and Textual Constraint Languages -- Correct Realizations of Interface Constraints with OCL -- Analyzing UML Models 1 -- Generating Tests from UML Specifications -- Formalising UML State Machines for Model Checking -- Panel 2 -- SDL as UML: Why and What Panel -- Coding 1 -- UML Behavior: Inheritance and Implementation in Current Object-Oriented Languages -- UML Collaboration Diagrams and Their Transformation to Java -- Analyzing UML Models 2 -- Towards Three-Dimensional Representation and Animation of UML Diagrams -- Typechecking UML Static Models -- Precise Behavioral Modeling -- Analysing UML Use Cases as Contracts -- Closing the Gap between Object-Oriented Modeling of Structure and Behavior -- Static Modeling -- Black and White Diamonds -- Interconnecting Objects via Contracts -- How Can a Subsystem Be Both a Package and a Classifier? -- Applying the UML -- Using UML/OCL Constraints for Relational Database Design -- Towards a UML Extension for Hypermedia Design -- Why Unified Is not Universal -- Sequence Diagrams -- Timed Sequence Diagrams and Tool-Based Analysis — A Case Study -- Timing Analysis of UML Sequence Diagrams -- Coding 2 -- The Normal Object Form: Bridging the Gap from Models to Code -- Modeling Exceptional Behavior -- Panel 3 -- Advanced Methods and Tools for a Precise UML.
Record Nr. UNISA-996465599103316
Berlin, Heidelberg : , : Springer, , [1999]
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
The Unified Modeling Language UML '98 : beyond the notation : First International Workshop, Mulhouse, France, June 3-4, 1998, selected papers / / Jean Bezivin, Pierre-Alain Muller (Eds.)
The Unified Modeling Language UML '98 : beyond the notation : First International Workshop, Mulhouse, France, June 3-4, 1998, selected papers / / Jean Bezivin, Pierre-Alain Muller (Eds.)
Edizione [1st ed. 1999.]
Pubbl/distr/stampa Berlin ; ; Heidelberg : , : Springer, , [1999]
Descrizione fisica 1 online resource (X, 450 p.)
Disciplina 005.117
Collana Lecture Notes in Computer Science
Soggetto topico Object-oriented methods (Computer science)
ISBN 3-540-48480-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto UML: The Birth and Rise of a Standard Modeling Notation -- Developing with UML – Some Pitfalls and Workarounds -- Supporting and Applying the UML Conceptual Framework -- Modeling: Is It Turning Informal into Formal? -- Best of Both Worlds – A Mapping from EXPRESS-G to UML -- Porting ROSES to UML – An Experience Report -- Making UML Models Interoperable with UXF -- Transformation Rules for UML Class Diagrams -- Semantics and Transformations for UML Models -- Automation of Design Pattern: Concepts, Tools and Practices -- Automating the Synthesis of UML StateChart Diagrams from Multiple Collaboration Diagrams -- Informal Formality? The Object Constraint Language and Its Application in the UML Metamodel -- Reflections on the Object Constraint Language -- On Using UML Class Diagrams for Object-Oriented Database Design -- Literate Modelling — Capturing Business Knowledge with the UML -- Applying UML to Design an Inter-domain Service Management Application -- Booster*Process: A Software Development Process Model Integrating Business Object Technology and UML -- Hierarchical Context Diagrams with UML: An Experience Report on Satellite Ground System Analysis -- Extension of UML Sequence Diagrams for Real-Time Systems -- UML and User Interface Modeling -- On the Role of Activity Diagrams in UML – A User Task Centered Development Process for UML -- Structuring UML Design Deliverables -- Considerations of and Suggestions for a UML-Specific Process Model -- An Action Language for UML: Proposal for a Precise Execution Semantics -- Real-Time Modeling with UML: The ACCORD Approach -- The UML as a Formal Modeling Notation -- OML: Proposals to Enhance UML -- Validating Distributed Software Modeled with the Unified Modeling Language -- Supporting Disciplined Reuse and Evolution of UML Models -- Applying UML Extensions to Facilitate Software Reuse -- A Formal Approach to Use Cases and Their Relationships -- A Practical Framework for Applying UML -- Extending Aggregation Constructs in UML.
Record Nr. UNISA-996465322103316
Berlin ; ; Heidelberg : , : Springer, , [1999]
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui