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.
Model driven engineering languages and systems : 12th international conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009 ; proceedings / / Andy Schurr, Brian Selic (eds.)
| Model driven engineering languages and systems : 12th international conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009 ; proceedings / / Andy Schurr, Brian Selic (eds.) |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2009 |
| Descrizione fisica | 1 online resource (XX, 756 p.) |
| Disciplina | 005.1 |
| Altri autori (Persone) |
SchurrAndreas
SelicBran |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Computer software - Development
UML (Computer science) |
| ISBN | 3-642-04425-5 |
| Classificazione |
DAT 310f
SS 4800 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote 1 -- Models. Models. Models. So What? -- (Meta-)Model Modeling and Management -- Modeling Modeling -- Representation and Traversal of Large Clabject Models -- Meta-model Pruning -- Quantitative Modeling with UML -- A UML/MARTE Model Analysis Method for Detection of Data Races in Concurrent Systems -- Model Driven Performance Measurement and Assessment with MoDePeMART -- Security Analysis of a Biometric Authentication System Using UMLsec and JML -- Model Transformations and Constraints -- Automatically Discovering Hidden Transformation Chaining Constraints -- CSP(M): Constraint Satisfaction Problem over Models -- Parsing SBVR-Based Controlled Languages -- Model Management -- SLIM—A Lightweight Environment for Synchronous Collaborative Modeling -- Language-Independent Change Management of Process Models -- Requirements for Practical Model Merge – An Industrial Perspective -- UML in Practice and Quality Assurance -- Evaluating the Impact of UML Modeling on Software Quality: An Industrial Case Study -- Concern Visibility in Base Station Development – An Empirical Investigation -- Influencing Factors in Model-Based Testing with UML State Machines: Report on an Industrial Cooperation -- Formalization of Model Transformations -- Towards Composite Model Transformations Using Distributed Graph Transformation Concepts -- On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars -- Formal Support for QVT-Relations with Coloured Petri Nets -- Scenario Modeling -- An Example Is Worth a Thousand Words: Composite Operation Modeling By-Example -- Refactoring-Safe Modeling of Aspect-Oriented Scenarios -- Model-Based Testing Using LSCs and S2A -- Business Application Development -- Model Driven Development of Graphical User Interfaces for Enterprise Business Applications – Experience, Lessons Learnt and a Way Forward -- Business Process Models as a Showcase for Syntax-Based Assistance in Diagram Editors -- Rule-Enhanced Business Process Modeling Language for Service Choreographies -- Model Synchronisation and Change Propagation -- Change-Driven Model Transformations -- An Incremental Algorithm for High-Performance Runtime Model Consistency -- Traceability-Based Change Awareness -- Keynote 2 -- Interaction Design and Model-Driven Development -- Language Specification and Annotation -- Towards Test-Driven Semantics Specification -- Scalable Semantic Annotation Using Lattice-Based Ontologies -- OntoDSL: An Ontology-Based Framework for Domain-Specific Languages -- Domain-Specific Languages -- Domain-Specific Languages in Practice: A User Study on the Success Factors -- Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation -- Anatomy of a Visual Domain-Specific Language Project in an Industrial Context -- Model-Based Analysis -- A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty -- A Use Case Modeling Approach to Facilitate the Transition towards Analysis Models: Concepts and Empirical Evaluation -- Polymorphic Scenario-Based Specification Models: Semantics and Applications -- Model (De-)Composition and Abstractio -- Aspect Model Unweaving -- Model Composition Contracts -- Abstracting Complex Languages through Transformation and Composition -- An Approach for Evolving Transformation Chains -- Distributed Software Development -- Deterministic UML Models for Interconnected Activities and State Machines -- Automated Encapsulation of UML Activities for Incremental Development and Verification -- Using UML Statecharts with Knowledge Logic Guards -- Service and Business Process Integration -- A Modeling Language for Activity-Oriented Composition of Service-Oriented Software Systems -- A Domain Specific Modeling Language Supporting Specification, Simulation and Execution of Dynamic Adaptive Systems -- Executable Domain Specific Language for Message-Based System Integration -- Keynote 3 -- Architectural Mining: The Other Side of the MDD -- Genericity and Constraints -- Generic Model Refactorings -- Constraining Type Parameters of UML 2 Templates with Substitutable Classifiers -- Generating Assertion Code from OCL: A Transformational Approach Based on Similarities of Implementation Languages -- OCLLib, OCLUnit, OCLDoc: Pragmatic Extensions for the Object Constraint Language -- Variability Management -- Variability within Modeling Language Definitions -- Variability Modelling throughout the Product Line Lifecycle -- Weaving Variability into Domain Metamodels -- Automatic Domain Model Migration to Manage Metamodel Evolution -- Model Transformation Engineering -- Model Transformation by Demonstration -- Reviving QVT Relations: Model-Based Debugging Using Colored Petri Nets -- Incremental Development of Model Transformation Chains Using Automated Testing -- Test-Driven Development of Model Transformations -- Symposium -- Educators’ Symposium at MODELS 2009. |
| Altri titoli varianti | MODELS 2009 |
| Record Nr. | UNINA-9910484097103321 |
| Berlin ; ; New York, : Springer, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Model-Driven Engineering and Software Development : 8th International Conference, MODELSWARD 2020, Valletta, Malta, February 25-27, 2020, Revised Selected Papers / / edited by Slimane Hammoudi; LuiÌs Ferreira Pires; Bran Selic
| Model-Driven Engineering and Software Development : 8th International Conference, MODELSWARD 2020, Valletta, Malta, February 25-27, 2020, Revised Selected Papers / / edited by Slimane Hammoudi; LuiÌs Ferreira Pires; Bran Selic |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
| Descrizione fisica | 1 online resource (XII, 377 p. 64 illus.) |
| Disciplina | 004 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Computer System Implementation
Special Purpose and Application-Based Systems Software Engineering/Programming and Operating Systems |
| ISBN | 3-030-67445-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Methodologies, Processes and Platforms -- Applications and Software Development -- Modeling Languages, Tools and Architectures. |
| Record Nr. | UNINA-9910484506503321 |
| Cham, Switzerland : , : Springer, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Model-Driven Engineering and Software Development : 8th International Conference, MODELSWARD 2020, Valletta, Malta, February 25-27, 2020, Revised Selected Papers / / edited by Slimane Hammoudi; LuiÌs Ferreira Pires; Bran Selic
| Model-Driven Engineering and Software Development : 8th International Conference, MODELSWARD 2020, Valletta, Malta, February 25-27, 2020, Revised Selected Papers / / edited by Slimane Hammoudi; LuiÌs Ferreira Pires; Bran Selic |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
| Descrizione fisica | 1 online resource (XII, 377 p. 64 illus.) |
| Disciplina | 004 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Computer System Implementation
Special Purpose and Application-Based Systems Software Engineering/Programming and Operating Systems |
| ISBN | 3-030-67445-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Methodologies, Processes and Platforms -- Applications and Software Development -- Modeling Languages, Tools and Architectures. |
| Record Nr. | UNISA-996464442703316 |
| Cham, Switzerland : , : Springer, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Model-Driven Engineering and Software Development : 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers / / edited by Slimane Hammoudi, Luís Ferreira Pires, Bran Selic
| Model-Driven Engineering and Software Development : 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers / / edited by Slimane Hammoudi, Luís Ferreira Pires, Bran Selic |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XII, 496 p. 520 illus., 173 illus. in color.) |
| Disciplina |
005.12
005.1 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Software engineering
Computers Computer organization Software Engineering Computing Milieux Computer Systems Organization and Communication Networks Theory of Computation |
| ISBN | 3-030-11030-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Executable Modeling for Reactive Programming -- A Model-Driven Method for Fast Building ConsistentWeb Services from OpenAPI-Compatible Models -- Reuse and Customization for Code Generators: Synergy by Transformations and Templates -- Model-based Programming for Multi-Processor Platforms with TTool/DIPLODOCUS and OMC -- Evaluating Multi-Variant Model-To-Text Transformations Realized by Generic Aspects -- Definition and Visualization of Virtual Meta-model Extensions with a Facet Framework -- Automated Recommendation of Related Model Elements for Domain Models -- An Integrated Framework to Develop Domain-Specific Languages: Extended Case Study -- Technology Enhanced Support for Learning Interactive Software Systems -- Interactive Measures for Mining Understandable State Machines from Embedded Software: Experiments and Case Studies -- Adaptation and Implementation of the ISO42010 Standard to Software Design and Modeling Tools -- Generation and Validation of Frame Conditions in Formal Models -- Analysis and Evaluation of Conformance Preserving Graph Transformation Rules -- Generation of Inductive Types from Ecore Metamodels -- Towards Automated Defect Analysis using Execution Traces of Scenario-based Models -- A Textual Notation for Modeling and Generating Code for Composite Structure -- Application of a Process-oriented Build Tool for Flight Controller Development along a DO-178C/DO-331 Process -- A Methodology for Generating Tests for Evaluating User-centric Performance of Mobile Streaming Applications -- Combining Model-Driven Architecture and Software Product Line Engineering: Reuse of Platform-specific Assets -- A Test Specification Language for Information Systems based on Data Entities, Use Cases and State Machines -- Synchronizing Heuristics for Weakly Connected Automata with Various Topologies. |
| Record Nr. | UNINA-9910337569903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Model-Driven Engineering and Software Development : 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers / / edited by Luís Ferreira Pires, Slimane Hammoudi, Bran Selic
| Model-Driven Engineering and Software Development : 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers / / edited by Luís Ferreira Pires, Slimane Hammoudi, Bran Selic |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XII, 507 p. 181 illus.) |
| Disciplina | 005.1 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Software engineering
Operating systems (Computers) Programming languages (Electronic computers) Logic design Computer system failures Architecture, Computer Software Engineering Operating Systems Programming Languages, Compilers, Interpreters Logic Design System Performance and Evaluation Computer System Implementation |
| ISBN | 3-319-94764-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Sommelier: A Tool for Validating TOSCA Application TopologiesSommelier: A Tool for Validating TOSCA Application Topologies -- Evaluation of XIS-Reverse, a Model-Driven Reverse Engineering Approach for Legacy Information Systems -- Formal and Virtual Multi-level Design Space Exploration -- Automated Synthesis of a Real-time Scheduling for Cyber-physical Multi-core Systems -- A Model based Approach for Complex Dynamic Decision-making -- Deterministic High-level Executable Models Allowing Efficient Runtime Verification -- A Consistency-preserving Editing Model for Dynamic Filtered Engineering of Model-driven Product Lines -- Model-driven STEP Application Protocol Extensions Combined with Feature Modeling Considering Geometrical Information -- A Model Driven Engineering Approach for Heterogeneous Model Composition -- Generative versus Interpretive Model-Driven Development: Moving Past `It Depends' -- Applying Integrated Domain-Specific Modeling for Multi-concerns Development of Complex Systems -- A Domain-Specific Modeling Approach for Testing Environment Emulation -- A Framework for UML-based Component-based Design and Code Generation for Reactive Systems -- Automatic UI Generation for Aggregated Linked Data Applications by using Sharable Application Ontologies -- Surveying Co-Evolution in Modeling Ecosystems -- Functional Decomposition for Software Architecture Evolution -- Model-Driven Approach to Handle Evolutions of OLAP Requirements and Data Source Model -- Complex Event Processing for User-Centric Management of IoT Systems -- Efficient Distributed Execution of Multi-component Scenario-Based Models -- Modelling the World of a Smart Room for Robotic Co-working. |
| Record Nr. | UNINA-9910299308903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Model-Driven Engineering and Software Development : 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised Selected Papers / / edited by Slimane Hammoudi, Luís Ferreira Pires, Bran Selic, Philippe Desfray
| Model-Driven Engineering and Software Development : 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised Selected Papers / / edited by Slimane Hammoudi, Luís Ferreira Pires, Bran Selic, Philippe Desfray |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XIV, 355 p. 131 illus.) |
| Disciplina | 004 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Software engineering
Computer simulation Programming languages (Electronic computers) Artificial intelligence Software Engineering Simulation and Modeling Programming Languages, Compilers, Interpreters Artificial Intelligence |
| ISBN | 3-319-66302-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Modeling languages, tools and architectures -- Methodologies, processes and platforms -- Applications and software development. |
| Record Nr. | UNINA-9910254850103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
UML 2000 - The Unified Modeling Language: Advancing the Standard : Third International Conference York, UK, October 2-6, 2000 Proceedings / / edited by Andy Evans, Stuart Kent, Bran Selic
| UML 2000 - The Unified Modeling Language: Advancing the Standard : Third International Conference York, UK, October 2-6, 2000 Proceedings / / edited by Andy Evans, Stuart Kent, Bran Selic |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (XIV, 575 p.) |
| Disciplina | 005.11 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer programming Programming languages (Electronic computers) Information technology Business—Data processing Software Engineering/Programming and Operating Systems Programming Techniques Programming Languages, Compilers, Interpreters Software Engineering IT in Business |
| ISBN | 3-540-40011-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Use Cases -- From Use Cases to System Operation Specifications -- On the Extension of UML with Use Case Maps Concepts -- HyperMSCs and Sequence Diagrams for Use Case Modelling and Testing -- Enterprise Applications -- Business-Oriented Constraint Language -- Processes, Roles, and Events: UML Concepts for Enterprise Architecture -- Statistical Constraints for EAI -- Panel 1 -- Heaven or Hell? A “Real-Time” UML? -- Interactive Systems -- Towards a UML Profile for Interaction Design: The Wisdom Approach -- UMLi: The Unified Modeling Language for Interactive Applications -- A Diagrammatic Tool for Representing User Interaction in UML -- Applications -- UML Extension for ASAM-GDI Device Capability Description -- Swinging UML How to Make Class Diagrams and State Machines Amenable to Constraint Solving and Proving -- UML Based Performance Modeling of Distributed Systems -- Roles -- A Radical Revision of UML’s Role Concept -- The Role of “Roles” in Use Case Diagrams -- Knowledge Bases -- Ensuring Quality of Geographic Data with UML and OCL -- Contextual Diagrams as Structuring Mechanisms for Designing Configuration Knowledge Bases in UML -- Invited Talk -- The UML Family: Profiles, Prefaces and Packages -- OCL Tools -- Validating UML Models and OCL Constraints -- Modular Architecture for a Toolset Supporting OCL -- Consistency Checking and Visualization of OCL Constraints -- Meta-modelling -- Strict Profiles: Why and How -- Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML -- Composing Design Models: An Extension to the UML -- Panel 2 -- Extreme Programming and Modelling? -- Behavioural Modelling -- Interacting Subsystems in UML -- Consistent Behaviour Representation in Activity and Sequence Diagrams -- Using UML Collaboration Diagrams for Static Checking and Test Generation -- Methodology -- Supporting Several Levels of Restriction in the UML -- A UML-Based Methodology for Hypermedia Design -- Object Oriented Methodology Based on UML for Urban Traffic System Modeling -- Actions and Constraints -- Extending OCL to Include Actions -- A Structured Approach to Develop Concurrent Programs in UML -- Patterns -- Describing AI Analysis Patterns with UML -- Precise Modeling of Design Patterns -- Invited Talk -- Architectural Patterns for Metamodeling: The Hitchhiker’s Guide to the UML Metaverse -- Architecture -- Reconciling the Needs of Architectural Description with Object-Modeling Notations -- Towards a UML Profile for Software Architecture Descriptions -- State Charts -- Rewrite Rules and Operational Semantics for Model Checking UML Statecharts -- Part-Whole Statecharts for the Explicit Representation of Compound Behaviours -- Panel 3 -- Modeling of Architectures with UML. |
| Altri titoli varianti | UML'00 |
| Record Nr. | UNINA-9910143610403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
UML 2000 - The Unified Modeling Language: Advancing the Standard : Third International Conference York, UK, October 2-6, 2000 Proceedings / / edited by Andy Evans, Stuart Kent, Bran Selic
| UML 2000 - The Unified Modeling Language: Advancing the Standard : Third International Conference York, UK, October 2-6, 2000 Proceedings / / edited by Andy Evans, Stuart Kent, Bran Selic |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (XIV, 575 p.) |
| Disciplina | 005.11 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer programming Programming languages (Electronic computers) Information technology Business—Data processing Software Engineering/Programming and Operating Systems Programming Techniques Programming Languages, Compilers, Interpreters Software Engineering IT in Business |
| ISBN | 3-540-40011-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Use Cases -- From Use Cases to System Operation Specifications -- On the Extension of UML with Use Case Maps Concepts -- HyperMSCs and Sequence Diagrams for Use Case Modelling and Testing -- Enterprise Applications -- Business-Oriented Constraint Language -- Processes, Roles, and Events: UML Concepts for Enterprise Architecture -- Statistical Constraints for EAI -- Panel 1 -- Heaven or Hell? A “Real-Time” UML? -- Interactive Systems -- Towards a UML Profile for Interaction Design: The Wisdom Approach -- UMLi: The Unified Modeling Language for Interactive Applications -- A Diagrammatic Tool for Representing User Interaction in UML -- Applications -- UML Extension for ASAM-GDI Device Capability Description -- Swinging UML How to Make Class Diagrams and State Machines Amenable to Constraint Solving and Proving -- UML Based Performance Modeling of Distributed Systems -- Roles -- A Radical Revision of UML’s Role Concept -- The Role of “Roles” in Use Case Diagrams -- Knowledge Bases -- Ensuring Quality of Geographic Data with UML and OCL -- Contextual Diagrams as Structuring Mechanisms for Designing Configuration Knowledge Bases in UML -- Invited Talk -- The UML Family: Profiles, Prefaces and Packages -- OCL Tools -- Validating UML Models and OCL Constraints -- Modular Architecture for a Toolset Supporting OCL -- Consistency Checking and Visualization of OCL Constraints -- Meta-modelling -- Strict Profiles: Why and How -- Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML -- Composing Design Models: An Extension to the UML -- Panel 2 -- Extreme Programming and Modelling? -- Behavioural Modelling -- Interacting Subsystems in UML -- Consistent Behaviour Representation in Activity and Sequence Diagrams -- Using UML Collaboration Diagrams for Static Checking and Test Generation -- Methodology -- Supporting Several Levels of Restriction in the UML -- A UML-Based Methodology for Hypermedia Design -- Object Oriented Methodology Based on UML for Urban Traffic System Modeling -- Actions and Constraints -- Extending OCL to Include Actions -- A Structured Approach to Develop Concurrent Programs in UML -- Patterns -- Describing AI Analysis Patterns with UML -- Precise Modeling of Design Patterns -- Invited Talk -- Architectural Patterns for Metamodeling: The Hitchhiker’s Guide to the UML Metaverse -- Architecture -- Reconciling the Needs of Architectural Description with Object-Modeling Notations -- Towards a UML Profile for Software Architecture Descriptions -- State Charts -- Rewrite Rules and Operational Semantics for Model Checking UML Statecharts -- Part-Whole Statecharts for the Explicit Representation of Compound Behaviours -- Panel 3 -- Modeling of Architectures with UML. |
| Altri titoli varianti | UML'00 |
| Record Nr. | UNISA-996466357903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| 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 | ||
| ||