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.
Entertainment computing-ICEC 2020 : 19th IFIP TC 14 international conference, ICEC 2020, Xi'an, China, November 10-13, 2020, proceedings / / edited by Nuno J. Nunes [and four others]
| Entertainment computing-ICEC 2020 : 19th IFIP TC 14 international conference, ICEC 2020, Xi'an, China, November 10-13, 2020, proceedings / / edited by Nuno J. Nunes [and four others] |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
| Descrizione fisica | 1 online resource (X, 470 p. 249 illus., 210 illus. in color.) |
| Disciplina | 004.16 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Microcomputers
Artificial intelligence Optical data processing |
| ISBN | 3-030-65736-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Games -- Serious Violence: The Effects of Violent Elements in Serious Games -- Enhancing Game-Based Learning Through Infographics in the Context of Smart Home Security -- Automatic Generation of Game Levels Based on Controllable Wave Function Collapse Algorithm -- VR-DLR: A Serious Game of Somatosensory Driving Applied to Limb Rehabilitation Training -- A Procedurally Generated World for a Zombie Survival Game -- “Let’s Play a Game!” Serious Games for Arabic Children with Dictation Difficulties -- Provchastic: Understanding and predicting game events using provenance -- Applying and Facilitating Serious Location-based Games -- The Braille Typist: A Serious Game Proposal for Braille Typewriter Training -- Murder Mystery Game Setting Research using Game Refinement Measurement -- Finding flow in training activities by exploring single-agent arcade game information dynamics -- Players Perception of Loot Boxes -- Braillestick: A Game Control Proposal for Blind Users Based on the Braille Typewriter -- Virtual Reality and Augmented Reality -- Conquer Catharsis – A VR Environment for Anxiety Treatment of Children and Adolescents -- Virtual Reality Games for Stroke Rehabilitation : A Feasibility Study -- Interactive Simulation of DNA Structure for Mobile- Learning -- Augmented Reality towards facilitating abstract concepts learning -- Enhancing Whale Watching with mobile Apps and Streaming Passive Acoustics -- Tell a Tail: Leveraging XR for a Transmedia on Animal Welfare -- Survival On Mars - A VR Experience -- Tangible Multi-Card Projector-based Interaction With Physics -- Co-Sound: An interactive medium with WebAR and spatial synchronization -- A Memory Game Proposal for Facial Expressions Recognition in Health Therapies -- Artificial Intelligence -- Procedural Creation of Behavior Trees for NPCs -- Developing Japanese Ikebana as a Digital Painting Tool via AI -- Learning of Art Style Using AI and Its Evaluation Based on Psychological Experiments -- Deep Learning-Based Segmentation of Key Objects of Transmission Lines -- Classification of Chinese and Western Painting Images based on Brushstrokes Feature -- Role and value of character design of social robots -- Edutainment and Art -- Clas-Maze: An Edutainment Tool Combining Tangible Programming and Living Knowledge -- To Binge or not To Binge: viewers’moods and behaviors during the consumption of subscribed video streaming -- Psychological Evaluation for Images/Videos Displayed using Large LED Display and Projector -- To Borrow Arrows with Thatched Boats: an educational game for early years under the background of Chinese Three Kingdoms culture -- João em Foco: A Learning Object About the Dyslexia Disorder.-3D Modeling -- 3D Modeling and 3D Materialization of Fluid Art That Occurs in Very Short Time -- A 3D Flower Modeling Method Based on a Single Image -- Dynamic 3D Scanning Based on Optical Tracking -- Animation -- Body2Particles: Designing Particle Systems Using Body Gestures -- Discussion on the Art of Embryonic Form of computer Animation -- The Peepshow. |
| Record Nr. | UNINA-9910447245603321 |
| Cham, Switzerland : , : Springer, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Entertainment computing-ICEC 2020 : 19th IFIP TC 14 international conference, ICEC 2020, Xi'an, China, November 10-13, 2020, proceedings / / edited by Nuno J. Nunes [and four others]
| Entertainment computing-ICEC 2020 : 19th IFIP TC 14 international conference, ICEC 2020, Xi'an, China, November 10-13, 2020, proceedings / / edited by Nuno J. Nunes [and four others] |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
| Descrizione fisica | 1 online resource (X, 470 p. 249 illus., 210 illus. in color.) |
| Disciplina | 004.16 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Microcomputers
Artificial intelligence Optical data processing |
| ISBN | 3-030-65736-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Games -- Serious Violence: The Effects of Violent Elements in Serious Games -- Enhancing Game-Based Learning Through Infographics in the Context of Smart Home Security -- Automatic Generation of Game Levels Based on Controllable Wave Function Collapse Algorithm -- VR-DLR: A Serious Game of Somatosensory Driving Applied to Limb Rehabilitation Training -- A Procedurally Generated World for a Zombie Survival Game -- “Let’s Play a Game!” Serious Games for Arabic Children with Dictation Difficulties -- Provchastic: Understanding and predicting game events using provenance -- Applying and Facilitating Serious Location-based Games -- The Braille Typist: A Serious Game Proposal for Braille Typewriter Training -- Murder Mystery Game Setting Research using Game Refinement Measurement -- Finding flow in training activities by exploring single-agent arcade game information dynamics -- Players Perception of Loot Boxes -- Braillestick: A Game Control Proposal for Blind Users Based on the Braille Typewriter -- Virtual Reality and Augmented Reality -- Conquer Catharsis – A VR Environment for Anxiety Treatment of Children and Adolescents -- Virtual Reality Games for Stroke Rehabilitation : A Feasibility Study -- Interactive Simulation of DNA Structure for Mobile- Learning -- Augmented Reality towards facilitating abstract concepts learning -- Enhancing Whale Watching with mobile Apps and Streaming Passive Acoustics -- Tell a Tail: Leveraging XR for a Transmedia on Animal Welfare -- Survival On Mars - A VR Experience -- Tangible Multi-Card Projector-based Interaction With Physics -- Co-Sound: An interactive medium with WebAR and spatial synchronization -- A Memory Game Proposal for Facial Expressions Recognition in Health Therapies -- Artificial Intelligence -- Procedural Creation of Behavior Trees for NPCs -- Developing Japanese Ikebana as a Digital Painting Tool via AI -- Learning of Art Style Using AI and Its Evaluation Based on Psychological Experiments -- Deep Learning-Based Segmentation of Key Objects of Transmission Lines -- Classification of Chinese and Western Painting Images based on Brushstrokes Feature -- Role and value of character design of social robots -- Edutainment and Art -- Clas-Maze: An Edutainment Tool Combining Tangible Programming and Living Knowledge -- To Binge or not To Binge: viewers’moods and behaviors during the consumption of subscribed video streaming -- Psychological Evaluation for Images/Videos Displayed using Large LED Display and Projector -- To Borrow Arrows with Thatched Boats: an educational game for early years under the background of Chinese Three Kingdoms culture -- João em Foco: A Learning Object About the Dyslexia Disorder.-3D Modeling -- 3D Modeling and 3D Materialization of Fluid Art That Occurs in Very Short Time -- A 3D Flower Modeling Method Based on a Single Image -- Dynamic 3D Scanning Based on Optical Tracking -- Animation -- Body2Particles: Designing Particle Systems Using Body Gestures -- Discussion on the Art of Embryonic Form of computer Animation -- The Peepshow. |
| Record Nr. | UNISA-996418292203316 |
| Cham, Switzerland : , : Springer, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Interactive Systems. Design, Specification, and Verification [[electronic resource] ] : 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers / / edited by Joaquim Jorge, Nuno Jardim Nunes, Joao Falcao e Cunha
| Interactive Systems. Design, Specification, and Verification [[electronic resource] ] : 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers / / edited by Joaquim Jorge, Nuno Jardim Nunes, Joao Falcao e Cunha |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XIII, 427 p.) |
| Disciplina | 004.33 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
User interfaces (Computer systems) Computer communication systems Software engineering Computer logic Information storage and retrieval Theory of Computation User Interfaces and Human Computer Interaction Computer Communication Networks Software Engineering Logics and Meanings of Programs Information Storage and Retrieval |
| ISBN | 3-540-39929-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Paper -- Canonical Abstract Prototypes for Abstract Visual and Interaction Design -- Test and Evaluation -- Designing and Evaluating Interaction as Conversation: A Modeling Language Based on Semiotic Engineering -- Applying Extended Finite State Machines in Software Testing of Interactive Systems -- An Empirical Study of Personal Document Spaces -- Web & Groupware -- StateWebCharts: A Formal Description Technique Dedicated to Navigation Modelling of Web Applications -- Identification of Web Usability Problems and Interaction Patterns with the RealEYES-iAnalyzer -- Workspaces: A Multi-level Architectural Style for Synchronous Groupware -- Tools and Technologies -- Functionally Modeled User Interfaces -- Architectures for Widget-Level Plasticity -- Specification-Based Testing of User Interfaces -- Calligraphic Interfaces: Mixed Metaphors for Design -- Task Modeling -- Using Task Knowledge to Guide Interactor Specifications Analysis -- Higher-Order Task Models -- Derivation of a Dialog Model from a Task Model by Activity Chain Extraction -- Describing Just-UI Concepts Using a Task Notation -- Model-Based Design -- Model-Based Design of Speech Interfaces -- Model-Based Design of Adaptive User Interfaces through Connectors -- Model-Based Electronic Performance Support -- Mobile and Multiple Devices -- Improving User Interface Usability Using Mobile Agents -- Reasoning about Dynamic Information Displays -- Bridging the Gap: Developing 2D and 3D User Interfaces with the IDEAS Methodology -- UML -- Usability Design-Extending Rational Unified Process with a New Discipline -- Addressing Marketing Requirements in User-Interface Design for Multiple Platforms -- Dialog Modelling with Interactors and UML Statecharts – A Hybrid Approach -- Specification Languages -- ISML: An Interface Specification Meta-language -- A Review of XML-compliant User Interface Description Languages -- Contextual Design of a Computer-Supported Film Set: A Case Study -- Short Papers -- Evaluating and Comparing Interaction Styles -- A Navigation and Registration System for Mobile and Augmented Environments -- MIKE: A Multimodal Cinematographic Editor for Virtual Worlds -- An Approach to Develop User Interfaces with Plasticity -- Multimedia Environments and Interactive Scientific Presentation of Industrially-Based Data Sets. |
| Record Nr. | UNINA-9910144034303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Interactive Systems. Design, Specification, and Verification [[electronic resource] ] : 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers / / edited by Joaquim Jorge, Nuno Jardim Nunes, Joao Falcao e Cunha
| Interactive Systems. Design, Specification, and Verification [[electronic resource] ] : 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers / / edited by Joaquim Jorge, Nuno Jardim Nunes, Joao Falcao e Cunha |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XIII, 427 p.) |
| Disciplina | 004.33 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
User interfaces (Computer systems) Computer communication systems Software engineering Computer logic Information storage and retrieval Theory of Computation User Interfaces and Human Computer Interaction Computer Communication Networks Software Engineering Logics and Meanings of Programs Information Storage and Retrieval |
| ISBN | 3-540-39929-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Paper -- Canonical Abstract Prototypes for Abstract Visual and Interaction Design -- Test and Evaluation -- Designing and Evaluating Interaction as Conversation: A Modeling Language Based on Semiotic Engineering -- Applying Extended Finite State Machines in Software Testing of Interactive Systems -- An Empirical Study of Personal Document Spaces -- Web & Groupware -- StateWebCharts: A Formal Description Technique Dedicated to Navigation Modelling of Web Applications -- Identification of Web Usability Problems and Interaction Patterns with the RealEYES-iAnalyzer -- Workspaces: A Multi-level Architectural Style for Synchronous Groupware -- Tools and Technologies -- Functionally Modeled User Interfaces -- Architectures for Widget-Level Plasticity -- Specification-Based Testing of User Interfaces -- Calligraphic Interfaces: Mixed Metaphors for Design -- Task Modeling -- Using Task Knowledge to Guide Interactor Specifications Analysis -- Higher-Order Task Models -- Derivation of a Dialog Model from a Task Model by Activity Chain Extraction -- Describing Just-UI Concepts Using a Task Notation -- Model-Based Design -- Model-Based Design of Speech Interfaces -- Model-Based Design of Adaptive User Interfaces through Connectors -- Model-Based Electronic Performance Support -- Mobile and Multiple Devices -- Improving User Interface Usability Using Mobile Agents -- Reasoning about Dynamic Information Displays -- Bridging the Gap: Developing 2D and 3D User Interfaces with the IDEAS Methodology -- UML -- Usability Design-Extending Rational Unified Process with a New Discipline -- Addressing Marketing Requirements in User-Interface Design for Multiple Platforms -- Dialog Modelling with Interactors and UML Statecharts – A Hybrid Approach -- Specification Languages -- ISML: An Interface Specification Meta-language -- A Review of XML-compliant User Interface Description Languages -- Contextual Design of a Computer-Supported Film Set: A Case Study -- Short Papers -- Evaluating and Comparing Interaction Styles -- A Navigation and Registration System for Mobile and Augmented Environments -- MIKE: A Multimodal Cinematographic Editor for Virtual Worlds -- An Approach to Develop User Interfaces with Plasticity -- Multimedia Environments and Interactive Scientific Presentation of Industrially-Based Data Sets. |
| Record Nr. | UNISA-996465779403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Proceedings of the 9th International Conference on Intelligent User Interfaces
| Proceedings of the 9th International Conference on Intelligent User Interfaces |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2004 |
| Descrizione fisica | 1 online resource (382 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | IUI-CADUI '04 Intelligent User Interface (Jointly organized with Computer-Aided Design of User Interfaces), Funchal, Portugal - January 13 - 16, 2004 |
| Record Nr. | UNINA-9910375840003321 |
| [Place of publication not identified], : ACM, 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
TEI '11 : fifth International Conference on Tangible, Embedded and Embodied Interaction, January 23-26, 2011, Madeira, Portugal
| TEI '11 : fifth International Conference on Tangible, Embedded and Embodied Interaction, January 23-26, 2011, Madeira, Portugal |
| Autore | Gross Mark D |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2011 |
| Descrizione fisica | 1 online resource (452 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
International Conference on Tangible, Embedded and Embodied Interaction '11
Proceedings of the fifth International Conference on Tangible, Embedded, and Embodied Interaction TEI'11 fifth International Conference on Tangible, Embedded, and Embodied Interaction, Funchal, Portugal - January 22 - 26, 2011 |
| Record Nr. | UNINA-9910376024703321 |
Gross Mark D
|
||
| [Place of publication not identified], : ACM, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 | ||
| ||