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.
UML 2002 - The Unified Modeling Language: Model Engineering, Concepts, and Tools [[electronic resource] ] : 5th International Conference, Dresden, Germany, September 30 October 4, 2002. Proceedings / / edited by Jean-Marc Jezequel, Heinrich Hussman, Stephen Cook
| UML 2002 - The Unified Modeling Language: Model Engineering, Concepts, and Tools [[electronic resource] ] : 5th International Conference, Dresden, Germany, September 30 October 4, 2002. Proceedings / / edited by Jean-Marc Jezequel, Heinrich Hussman, Stephen Cook |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (XII, 456 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Programming languages (Electronic computers)
Computer programming Software engineering Computer simulation Management information systems Computer science Programming Languages, Compilers, Interpreters Programming Techniques Software Engineering Simulation and Modeling Management of Computing and Information Systems |
| ISBN | 3-540-45800-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk 1 -- Descriptions in Software Development -- Metamodelling -- A Metamodel for the Unified Modeling Language -- Metamodeling Mathematics: A Precise and Visual Framework for Describing Semantics Domains of UML Models -- A Radical Reduction of UML’s Core Semantics -- Applying the UML -- Configuration Knowledge Representation Using UML/OCL -- Using UML for Information Modeling in Industrial Systems with Multiple Hierarchies -- Adapting the UML to Business Modelling’s Needs—Experiences in Situational Method Engineering -- Digging into the Metamodel -- Analysis of UML Stereotypes within the UML Metamodel -- Stereotypical Encounters of the Third Kind -- Digging into Use Case Relationships -- Experience with MDA -- Practical Experiences in the Application of MDA -- Executable Design Models for a Pervasive Healthcare Middleware System -- Generating Code from UML with Velocity Templates -- Invited Talk 2 -- Does Your Software Creak as It Runs? -- Real-Time & Formal Semantics -- Integrating the Synchronous Paradigm into UML: Application to Control-Dominated Systems -- A UML Profile for Real-Time Constraints with the OCL -- HOL-OCL: Experiences, Consequences and Design Choices -- Model Engineering 1 -- Consistency-Preserving Model Evolution through Transformations -- Transformations and Software Modeling Languages: Automating Transformations in UML -- A Relational Approach to Defining Transformations in a Metamodel -- Profiles -- On Customizing the UML for Modeling Performance-Oriented Applications -- Modelling QoS: Towards a UML Profile -- Extending the UML for Multidimensional Modeling -- Model Engineering 2 -- A Metamodel for Package Extension with Renaming -- Applying MDA Concepts to Develop a Domain CORBA Facility for E-learning -- Rapid Development of Modular Dynamic Web Sites Using UML -- Invited Talk 3 -- Software, Heal Thyself! -- Methodology -- The Specification of UML Collaborations as Interaction Components -- Measuring OO Design Metrics from UML -- The Cow_Suite Approach to Planning and Deriving Test Suites in UML Projects -- Diagram Interchange & Security -- Diagram Interchange for UML -- UMLsec: Extending UML for Secure Systems Development -- SecureUML: A UML-Based Modeling Language for Model-Driven Security -- Workshops and Tutorials -- Workshops and Tutorials at the UML 2002 Conference. |
| Record Nr. | UNINA-9910143893403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
UML 2002 - The Unified Modeling Language: Model Engineering, Concepts, and Tools [[electronic resource] ] : 5th International Conference, Dresden, Germany, September 30 October 4, 2002. Proceedings / / edited by Jean-Marc Jezequel, Heinrich Hussman, Stephen Cook
| UML 2002 - The Unified Modeling Language: Model Engineering, Concepts, and Tools [[electronic resource] ] : 5th International Conference, Dresden, Germany, September 30 October 4, 2002. Proceedings / / edited by Jean-Marc Jezequel, Heinrich Hussman, Stephen Cook |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (XII, 456 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Programming languages (Electronic computers)
Computer programming Software engineering Computer simulation Management information systems Computer science Programming Languages, Compilers, Interpreters Programming Techniques Software Engineering Simulation and Modeling Management of Computing and Information Systems |
| ISBN | 3-540-45800-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk 1 -- Descriptions in Software Development -- Metamodelling -- A Metamodel for the Unified Modeling Language -- Metamodeling Mathematics: A Precise and Visual Framework for Describing Semantics Domains of UML Models -- A Radical Reduction of UML’s Core Semantics -- Applying the UML -- Configuration Knowledge Representation Using UML/OCL -- Using UML for Information Modeling in Industrial Systems with Multiple Hierarchies -- Adapting the UML to Business Modelling’s Needs—Experiences in Situational Method Engineering -- Digging into the Metamodel -- Analysis of UML Stereotypes within the UML Metamodel -- Stereotypical Encounters of the Third Kind -- Digging into Use Case Relationships -- Experience with MDA -- Practical Experiences in the Application of MDA -- Executable Design Models for a Pervasive Healthcare Middleware System -- Generating Code from UML with Velocity Templates -- Invited Talk 2 -- Does Your Software Creak as It Runs? -- Real-Time & Formal Semantics -- Integrating the Synchronous Paradigm into UML: Application to Control-Dominated Systems -- A UML Profile for Real-Time Constraints with the OCL -- HOL-OCL: Experiences, Consequences and Design Choices -- Model Engineering 1 -- Consistency-Preserving Model Evolution through Transformations -- Transformations and Software Modeling Languages: Automating Transformations in UML -- A Relational Approach to Defining Transformations in a Metamodel -- Profiles -- On Customizing the UML for Modeling Performance-Oriented Applications -- Modelling QoS: Towards a UML Profile -- Extending the UML for Multidimensional Modeling -- Model Engineering 2 -- A Metamodel for Package Extension with Renaming -- Applying MDA Concepts to Develop a Domain CORBA Facility for E-learning -- Rapid Development of Modular Dynamic Web Sites Using UML -- Invited Talk 3 -- Software, Heal Thyself! -- Methodology -- The Specification of UML Collaborations as Interaction Components -- Measuring OO Design Metrics from UML -- The Cow_Suite Approach to Planning and Deriving Test Suites in UML Projects -- Diagram Interchange & Security -- Diagram Interchange for UML -- UMLsec: Extending UML for Secure Systems Development -- SecureUML: A UML-Based Modeling Language for Model-Driven Security -- Workshops and Tutorials -- Workshops and Tutorials at the UML 2002 Conference. |
| Record Nr. | UNISA-996465413703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications [[electronic resource] ] : 6th International Conference San Francisco, CA, USA, October 20-24, 2003, Proceedings / / edited by Perdita Stevens, Jon Whittle, Grady Booch
| UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications [[electronic resource] ] : 6th International Conference San Francisco, CA, USA, October 20-24, 2003, Proceedings / / edited by Perdita Stevens, Jon Whittle, Grady Booch |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XIV, 418 p.) |
| Disciplina | 005.1/17 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer programming
Software engineering Programming languages (Electronic computers) Computer simulation Management information systems Computer science Programming Techniques Software Engineering Programming Languages, Compilers, Interpreters Simulation and Modeling Management of Computing and Information Systems |
| ISBN | 3-540-45221-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk 1 -- Agile Processes: Developing Your Own “Secret Recipes” -- Practical Model Management -- Difference and Union of Models -- GREAT: UML Transformation Tool for Porting Middleware Applications -- Model-Centric Engineering with the Evolution and Validation Environment -- Time and Quality of Service -- Representing Temporal Information in UML -- Formal Semantics of UML with Real-Time Constructs -- A QoS-Oriented Extension of UML Statecharts -- Short Tool Papers -- CheckVML: A Tool for Model Checking Visual Modeling Languages -- A Workbench to Experiment on New Model Engineering Applications -- ProGUM-Web: Tool Support for Model-Based Development of Web Applications -- Composition and Architecture -- On the Key Role of Composition in Object-Oriented Modelling -- Compositional and Relational Reasoning During Class Abstraction -- Encoding Informal Architectural Descriptions with UML: An Experience Report -- Invited Talk 2 -- UML/MDA Reality Check: Heterogenous Architecture Style -- Transformation -- Towards Automating Source-Consistent UML Refactorings -- Model Refactorings as Rule-Based Update Transformations -- Reflective Model Driven Engineering -- The Web -- A Model-Driven Runtime Environment for Web Applications -- Using UML and XMI for Generating Adaptive Navigation Sequences in Web-Based Systems -- Platform Independent Web Application Modeling -- Testing and Validation -- Rigorous Testing by Merging Structural and Behavioral UML Representations -- Towards Automated Support for Deriving Test Data from UML Statecharts -- Validation of UML and OCL Models by Automatic Snapshot Generation -- Improving UML/OCL -- A Critique of UML’s Definition of the Use-Case Class -- Modelling Database Views with Derived Classes in the UML/OCL-framework -- An OCL Extension for Low-Coupling Preserving Contracts -- Invited Talk 3 -- What Is the Point of the UML? -- Consistency -- Using Description Logic to Maintain Consistency between UML Models -- Modeling and Testing Legacy Data Consistency Requirements -- The Consistency Workbench: A Tool for Consistency Management in UML-Based Development -- Methodology -- Developing Safety-Critical Systems with UML -- Consistent and Complete Access Control Policies in Use Cases -- STAIRS – Steps To Analyze Interactions with Refinement Semantics -- Workshops and Tutorials -- Workshops at the UML 2003 Conference -- Tutorials at the UML 2003 Conference. |
| Record Nr. | UNINA-9910144031403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications [[electronic resource] ] : 6th International Conference San Francisco, CA, USA, October 20-24, 2003, Proceedings / / edited by Perdita Stevens, Jon Whittle, Grady Booch
| UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications [[electronic resource] ] : 6th International Conference San Francisco, CA, USA, October 20-24, 2003, Proceedings / / edited by Perdita Stevens, Jon Whittle, Grady Booch |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XIV, 418 p.) |
| Disciplina | 005.1/17 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer programming
Software engineering Programming languages (Electronic computers) Computer simulation Management information systems Computer science Programming Techniques Software Engineering Programming Languages, Compilers, Interpreters Simulation and Modeling Management of Computing and Information Systems |
| ISBN | 3-540-45221-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk 1 -- Agile Processes: Developing Your Own “Secret Recipes” -- Practical Model Management -- Difference and Union of Models -- GREAT: UML Transformation Tool for Porting Middleware Applications -- Model-Centric Engineering with the Evolution and Validation Environment -- Time and Quality of Service -- Representing Temporal Information in UML -- Formal Semantics of UML with Real-Time Constructs -- A QoS-Oriented Extension of UML Statecharts -- Short Tool Papers -- CheckVML: A Tool for Model Checking Visual Modeling Languages -- A Workbench to Experiment on New Model Engineering Applications -- ProGUM-Web: Tool Support for Model-Based Development of Web Applications -- Composition and Architecture -- On the Key Role of Composition in Object-Oriented Modelling -- Compositional and Relational Reasoning During Class Abstraction -- Encoding Informal Architectural Descriptions with UML: An Experience Report -- Invited Talk 2 -- UML/MDA Reality Check: Heterogenous Architecture Style -- Transformation -- Towards Automating Source-Consistent UML Refactorings -- Model Refactorings as Rule-Based Update Transformations -- Reflective Model Driven Engineering -- The Web -- A Model-Driven Runtime Environment for Web Applications -- Using UML and XMI for Generating Adaptive Navigation Sequences in Web-Based Systems -- Platform Independent Web Application Modeling -- Testing and Validation -- Rigorous Testing by Merging Structural and Behavioral UML Representations -- Towards Automated Support for Deriving Test Data from UML Statecharts -- Validation of UML and OCL Models by Automatic Snapshot Generation -- Improving UML/OCL -- A Critique of UML’s Definition of the Use-Case Class -- Modelling Database Views with Derived Classes in the UML/OCL-framework -- An OCL Extension for Low-Coupling Preserving Contracts -- Invited Talk 3 -- What Is the Point of the UML? -- Consistency -- Using Description Logic to Maintain Consistency between UML Models -- Modeling and Testing Legacy Data Consistency Requirements -- The Consistency Workbench: A Tool for Consistency Management in UML-Based Development -- Methodology -- Developing Safety-Critical Systems with UML -- Consistent and Complete Access Control Policies in Use Cases -- STAIRS – Steps To Analyze Interactions with Refinement Semantics -- Workshops and Tutorials -- Workshops at the UML 2003 Conference -- Tutorials at the UML 2003 Conference. |
| Record Nr. | UNISA-996465778103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
UML 2004 - The Unified Modeling Language [[electronic resource] ] : Modeling Languages and Applications. 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings / / edited by Thomas Baar, Alfred Strohmeier, Ana Moreira
| UML 2004 - The Unified Modeling Language [[electronic resource] ] : Modeling Languages and Applications. 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings / / edited by Thomas Baar, Alfred Strohmeier, Ana Moreira |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XIII, 456 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Management information systems Computer science Computer simulation Software Engineering/Programming and Operating Systems Software Engineering Programming Languages, Compilers, Interpreters Management of Computing and Information Systems Simulation and Modeling |
| ISBN | 3-540-30187-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Metamodeling -- Empirically Driven Use Case Metamodel Evolution -- Applying OO Metrics to Assess UML Meta-models -- An OCL Formulation of UML2 Template Binding -- A Metamodel for Generating Performance Models from UML Designs -- On the Classification of UML’s Meta Model Extension Mechanism -- Modeling Business Processes in Web Applications with ArgoUWE -- Aspects -- Model Composition Directives -- Query Models -- Specifying Cross-Cutting Requirement Concerns -- Profiles and Extensions -- A UML Profile to Model Mobile Systems -- Experimental Evaluation of the UML Profile for Schedulability, Performance, and Time -- A UML Profile for Executable and Incremental Specification-Level Modeling -- OCL -- Applying Refactoring Techniques to UML/OCL Models -- Detecting OCL Traps in the UML 2.0 Superstructure: An Experience Report -- From Informal to Formal Specifications in UML -- Building Precise UML Constructs to Model Concurrency Using OCL -- An ASM Definition of the Dynamic OCL 2.0 Semantics -- Towards a Framework for Mapping Between UML/OCL and XML/XQuery -- Model Transformation -- Model-Driven Architecture for Automatic-Control: An Experience Report -- Model-Driven Development for Non-functional Properties: Refinement Through Model Transformation -- Generic and Meta-transformations for Model Transformation Engineering -- Verification and Model Consistency -- Supporting Model Refactorings Through Behaviour Inheritance Consistencies -- Determining the Structural Events That May Violate an Integrity Constraint -- Deductive Verification of UML Models in TLPVS -- Security -- Integrating a Security Requirement Language with UML -- Automated Verification of UMLsec Models for Security Requirements -- Extending OCL for Secure Database Development -- Methodology -- Test Driven Development of UML Models with SMART Modeling System -- Behavioral Domain Analysis — The Application-Based Domain Modeling Approach -- Using UML-based Feature Models and UML Collaboration Diagrams to Information Modelling for Web-Based Applications -- Workshops and Tutorials -- Workshops at the UML 2004 Conference -- Tutorials at the UML 2004 Conference. |
| Record Nr. | UNINA-9910144344303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
UML 2004 - The Unified Modeling Language [[electronic resource] ] : Modeling Languages and Applications. 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings / / edited by Thomas Baar, Alfred Strohmeier, Ana Moreira
| UML 2004 - The Unified Modeling Language [[electronic resource] ] : Modeling Languages and Applications. 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings / / edited by Thomas Baar, Alfred Strohmeier, Ana Moreira |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XIII, 456 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Management information systems Computer science Computer simulation Software Engineering/Programming and Operating Systems Software Engineering Programming Languages, Compilers, Interpreters Management of Computing and Information Systems Simulation and Modeling |
| ISBN | 3-540-30187-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Metamodeling -- Empirically Driven Use Case Metamodel Evolution -- Applying OO Metrics to Assess UML Meta-models -- An OCL Formulation of UML2 Template Binding -- A Metamodel for Generating Performance Models from UML Designs -- On the Classification of UML’s Meta Model Extension Mechanism -- Modeling Business Processes in Web Applications with ArgoUWE -- Aspects -- Model Composition Directives -- Query Models -- Specifying Cross-Cutting Requirement Concerns -- Profiles and Extensions -- A UML Profile to Model Mobile Systems -- Experimental Evaluation of the UML Profile for Schedulability, Performance, and Time -- A UML Profile for Executable and Incremental Specification-Level Modeling -- OCL -- Applying Refactoring Techniques to UML/OCL Models -- Detecting OCL Traps in the UML 2.0 Superstructure: An Experience Report -- From Informal to Formal Specifications in UML -- Building Precise UML Constructs to Model Concurrency Using OCL -- An ASM Definition of the Dynamic OCL 2.0 Semantics -- Towards a Framework for Mapping Between UML/OCL and XML/XQuery -- Model Transformation -- Model-Driven Architecture for Automatic-Control: An Experience Report -- Model-Driven Development for Non-functional Properties: Refinement Through Model Transformation -- Generic and Meta-transformations for Model Transformation Engineering -- Verification and Model Consistency -- Supporting Model Refactorings Through Behaviour Inheritance Consistencies -- Determining the Structural Events That May Violate an Integrity Constraint -- Deductive Verification of UML Models in TLPVS -- Security -- Integrating a Security Requirement Language with UML -- Automated Verification of UMLsec Models for Security Requirements -- Extending OCL for Secure Database Development -- Methodology -- Test Driven Development of UML Models with SMART Modeling System -- Behavioral Domain Analysis — The Application-Based Domain Modeling Approach -- Using UML-based Feature Models and UML Collaboration Diagrams to Information Modelling for Web-Based Applications -- Workshops and Tutorials -- Workshops at the UML 2004 Conference -- Tutorials at the UML 2004 Conference. |
| Record Nr. | UNISA-996465482403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
UML Modeling Languages and Applications [[electronic resource] ] : UML 2004 Satellite Activities Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers / / edited by Nuno Jardim Nunes, Bran Selic, Alberto Rodrigues da Silva, Ambrosio Toval Alvarez
| UML Modeling Languages and Applications [[electronic resource] ] : UML 2004 Satellite Activities Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers / / edited by Nuno Jardim Nunes, Bran Selic, Alberto Rodrigues da Silva, Ambrosio Toval Alvarez |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XIV, 298 p.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Management information systems Computer science Computer simulation Software Engineering Programming Languages, Compilers, Interpreters Management of Computing and Information Systems Simulation and Modeling |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Workshops -- Consistency Problems in UML-Based Software Development -- 5th International Workshop on Aspect-Oriented Modeling -- Software Architecture Description and UML -- SVERTS – Specification and Validation of Real-Time and Embedded Systems -- Essentials of the 3rd UML Workshop in Software Model Engineering (WiSME’2004) -- Open Issues in Industrial Use Case Modeling -- Models for Non-functional Aspects of Component-Based Software (NfC’04) -- OCL and Model Driven Engineering -- Critical Systems Development Using Modeling Languages (CSDUML’04): Current Developments and Future Challenges (Report on the Third International Workshop) -- Doctoral Symposium -- Industry Track -- Function Net Modeling with UML-RT: Experiences from an Automotive Project at BMW Group -- Supporting the Building and Analysis of an Infrastructure Portfolio Using UML Deployment Diagrams -- Model-Driven Development of Enterprise Applications -- Lessons Learned Applying UML in the Design of Mission Critical Software -- System-on-Chip Verification Process Using UML -- SoftContract: Model-Based Design of Error-Checking Code and Property Monitors -- Tailoring IEEE 1471 for MDE Support -- Data Communications Standards: A Case for the UML -- Experiences in Modeling for a Domain Specific Language -- Six Lessons Learned Using MDA -- Applying MDA and UML in the Development of a Healthcare System -- Managed Architecture of Existing Code as a Practical Transition Towards MDA -- Posters / Demos -- EPTUD: An Eclipse Plugin for Testing UML Designs -- Towards a Platform for Debugging Executed UML-Models in Embedded Systems -- The TopModL Initiative -- PAMPERO: Precise Assistant for the Modeling Process in an Environment with Refinement Orientation -- Tools for Critical Systems Development with UML (Tool Demo) -- Incremental MDD Through Generative Causal Connectedness -- Model-Driven Engineering of Middleware-Mediated Distributed Systems -- Profile Suite for Model Transformations on the Computation Independent Level -- The ProjectIT-RSL Language Overview -- A UML-Based Tool for Designing User Interfaces -- The AGEDIS Tools for Model Based Testing -- Tool Exhibits -- Tools Exhibits. |
| Record Nr. | UNISA-996465682703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
UML Modeling Languages and Applications [[electronic resource] ] : UML 2004 Satellite Activities Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers / / edited by Nuno Jardim Nunes, Bran Selic, Alberto Rodrigues da Silva, Ambrosio Toval Alvarez
| UML Modeling Languages and Applications [[electronic resource] ] : UML 2004 Satellite Activities Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers / / edited by Nuno Jardim Nunes, Bran Selic, Alberto Rodrigues da Silva, Ambrosio Toval Alvarez |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XIV, 298 p.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Management information systems Computer science Computer simulation Software Engineering Programming Languages, Compilers, Interpreters Management of Computing and Information Systems Simulation and Modeling |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Workshops -- Consistency Problems in UML-Based Software Development -- 5th International Workshop on Aspect-Oriented Modeling -- Software Architecture Description and UML -- SVERTS – Specification and Validation of Real-Time and Embedded Systems -- Essentials of the 3rd UML Workshop in Software Model Engineering (WiSME’2004) -- Open Issues in Industrial Use Case Modeling -- Models for Non-functional Aspects of Component-Based Software (NfC’04) -- OCL and Model Driven Engineering -- Critical Systems Development Using Modeling Languages (CSDUML’04): Current Developments and Future Challenges (Report on the Third International Workshop) -- Doctoral Symposium -- Industry Track -- Function Net Modeling with UML-RT: Experiences from an Automotive Project at BMW Group -- Supporting the Building and Analysis of an Infrastructure Portfolio Using UML Deployment Diagrams -- Model-Driven Development of Enterprise Applications -- Lessons Learned Applying UML in the Design of Mission Critical Software -- System-on-Chip Verification Process Using UML -- SoftContract: Model-Based Design of Error-Checking Code and Property Monitors -- Tailoring IEEE 1471 for MDE Support -- Data Communications Standards: A Case for the UML -- Experiences in Modeling for a Domain Specific Language -- Six Lessons Learned Using MDA -- Applying MDA and UML in the Development of a Healthcare System -- Managed Architecture of Existing Code as a Practical Transition Towards MDA -- Posters / Demos -- EPTUD: An Eclipse Plugin for Testing UML Designs -- Towards a Platform for Debugging Executed UML-Models in Embedded Systems -- The TopModL Initiative -- PAMPERO: Precise Assistant for the Modeling Process in an Environment with Refinement Orientation -- Tools for Critical Systems Development with UML (Tool Demo) -- Incremental MDD Through Generative Causal Connectedness -- Model-Driven Engineering of Middleware-Mediated Distributed Systems -- Profile Suite for Model Transformations on the Computation Independent Level -- The ProjectIT-RSL Language Overview -- A UML-Based Tool for Designing User Interfaces -- The AGEDIS Tools for Model Based Testing -- Tool Exhibits -- Tools Exhibits. |
| Record Nr. | UNINA-9910483610303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
UnBlock the Blockchain [[electronic resource] /] / by Nitin Upadhyay
| UnBlock the Blockchain [[electronic resource] /] / by Nitin Upadhyay |
| Autore | Upadhyay Nitin |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Singapore : , : Springer Singapore : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XVII, 115 p. 60 illus., 18 illus. in color.) |
| Disciplina | 005.74 |
| Soggetto topico |
Database management
Information retrieval Information organization Management information systems Computer science Database Management Information Storage and Retrieval Management of Computing and Information Systems |
| ISBN | 981-15-0177-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Web of Value -- Rule of Code -- Messy -- Business Models -- Roadblocks -- Big Ideas -- Success stories. |
| Record Nr. | UNINA-9910350220503321 |
Upadhyay Nitin
|
||
| Singapore : , : Springer Singapore : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Understanding IT : a manager's guide / / Dave Aron and Jeffrey L. Sampler
| Understanding IT : a manager's guide / / Dave Aron and Jeffrey L. Sampler |
| Autore | Aron Dave |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Harlow, England : , : FT Prentice Hall, , [2003] |
| Descrizione fisica | 1 online resource (186 pages) : illustrations |
| Disciplina | 004/.068 |
| Soggetto topico |
Information technology - Management
Electronic commerce - Management Management information systems Business enterprises - Communication systems - Management Computer networks - Management |
| ISBN |
1-280-60112-4
9786610601127 1-4058-7112-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Understanding information technology |
| Record Nr. | UNINA-9910154653203321 |
|
Aron Dave
|
||
| Harlow, England : , : FT Prentice Hall, , [2003] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
