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.
SDL 2009: design for motes and mobiles : 14th International SDL Forum Bochum, Germany, September 22-24, 2009, proceedings / / edited by Rick Reed, Attila Bilgic, Reinhard Gotzhein
| SDL 2009: design for motes and mobiles : 14th International SDL Forum Bochum, Germany, September 22-24, 2009, proceedings / / edited by Rick Reed, Attila Bilgic, Reinhard Gotzhein |
| Autore | Reed Rick |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg, : Springer-Verlag, 2009 |
| Descrizione fisica | 1 online resource (XII, 257 p.) |
| Disciplina | 004.2122gerDNB |
| Altri autori (Persone) |
BilgicAttila
GotzheinReinhard |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Wireless communication systems
SDL (Computer program language) |
| ISBN | 3-642-04554-5 |
| Classificazione |
DAT 060f
DAT 250f DAT 310f SS 4800 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Model-Driven Development -- Model-Driven Construction of Embedded Applications Based on Reusable Building Blocks – An Example -- Energy-Aware System Design with SDL -- Model-Driven Development of Time-Critical Protocols with SDL-MDD -- Towards Model Based Development of Managed Networked Embedded Systems -- Analysis and Assessment -- Towards an Integrated Quality Assessment and Improvement Approach for UML Models -- Optimal String Edit Distance Based Test Suite Reduction for SDL Specifications -- Early Schedulability Analysis with Timed Use Case Maps -- Evolution of Development Languages -- Extending the User Requirements Notation with Aspect-Oriented Concepts -- A UML Profile for Goal-Oriented Modeling -- Language Implementation and Support -- Modelling a Debugger for an Imperative Voice Control Language -- The ARC Programming Model -- Automatic Generation of Compatible Interfaces from Partitioned UML Activities -- Application Studies -- The Challenges of Using SDL for the Development of Wireless Sensor Networks -- Modeling LTE Protocol for Mobile Terminals Using a Formal Description Technique -- SDL/Virtual Prototype Co-design for Rapid Architectural Exploration of a Mobile Phone Platform. |
| Record Nr. | UNINA-9910484027203321 |
Reed Rick
|
||
| Berlin ; ; Heidelberg, : Springer-Verlag, 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
SDL 2009: Design for Motes and Mobiles [[electronic resource] ] : 14th International SDL Forum Bochum, Germany, September 22-24, 2009 Proceedings / / edited by Rick Reed, Attila Bilgic, Reinhard Gotzhein
| SDL 2009: Design for Motes and Mobiles [[electronic resource] ] : 14th International SDL Forum Bochum, Germany, September 22-24, 2009 Proceedings / / edited by Rick Reed, Attila Bilgic, Reinhard Gotzhein |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XII, 257 p.) |
| Disciplina | 004.2122gerDNB |
| Collana | Computer Communication Networks and Telecommunications |
| Soggetto topico |
Computer organization
Computer communication systems User interfaces (Computer systems) Software engineering Computer logic Management information systems Computer science Computer Systems Organization and Communication Networks Computer Communication Networks User Interfaces and Human Computer Interaction Software Engineering Logics and Meanings of Programs Management of Computing and Information Systems |
| Soggetto genere / forma |
Bochum (2009)
Kongress. |
| ISBN | 3-642-04554-5 |
| Classificazione |
DAT 060f
DAT 250f DAT 310f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Model-Driven Development -- Model-Driven Construction of Embedded Applications Based on Reusable Building Blocks – An Example -- Energy-Aware System Design with SDL -- Model-Driven Development of Time-Critical Protocols with SDL-MDD -- Towards Model Based Development of Managed Networked Embedded Systems -- Analysis and Assessment -- Towards an Integrated Quality Assessment and Improvement Approach for UML Models -- Optimal String Edit Distance Based Test Suite Reduction for SDL Specifications -- Early Schedulability Analysis with Timed Use Case Maps -- Evolution of Development Languages -- Extending the User Requirements Notation with Aspect-Oriented Concepts -- A UML Profile for Goal-Oriented Modeling -- Language Implementation and Support -- Modelling a Debugger for an Imperative Voice Control Language -- The ARC Programming Model -- Automatic Generation of Compatible Interfaces from Partitioned UML Activities -- Application Studies -- The Challenges of Using SDL for the Development of Wireless Sensor Networks -- Modeling LTE Protocol for Mobile Terminals Using a Formal Description Technique -- SDL/Virtual Prototype Co-design for Rapid Architectural Exploration of a Mobile Phone Platform. |
| Record Nr. | UNISA-996465289903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
System analysis and modeling : language profiles : 5th international workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006 : revised selected papers / / Reinhard Gotzhein, Rick Reed (eds.)
| System analysis and modeling : language profiles : 5th international workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006 : revised selected papers / / Reinhard Gotzhein, Rick Reed (eds.) |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2006 |
| Descrizione fisica | 1 online resource (X, 229 p.) |
| Disciplina | 003.3 |
| Altri autori (Persone) |
GotzheinReinhard
ReedRick |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 5, Computer communication networks and telecommunications |
| Soggetto topico |
Telecommunication - Data processing
System analysis Electronic data processing - Distributed processing Real-time data processing Communications software SDL (Computer program language) |
| ISBN | 3-540-68373-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Language Profiles -- A UML Profile for Communicating Systems -- Implementing the eODL Graphical Representation -- Distributed Real-Time Behavioral Requirements Modeling Using Extended UML/SPT -- Formal Operations for SDL Language Profiles -- Evolution of Development Languages -- Automating Scenario Merging -- Timed High-Level Message Sequence Charts for Real-Time System Design -- Timed Use Case Maps -- Model-Driven Development -- Application of Stuck-Free Conformance to Service-Role Composition -- A Simulator Interconnection Framework for the Accurate Performance Simulation of SDL Models -- Refactoring and Metrics for TTCN-3 Test Suites -- SDL Design of a Radio Resource Control Protocol for 3G Evolution Systems with Two Different Approaches -- Language Implementation -- Evaluation of Development Tools for Domain-Specific Modeling Languages -- Towards Integrated Tool Support for the User Requirements Notation -- ConTraST – A Configurable SDL Transpiler and Runtime Environment. |
| Altri titoli varianti | SAM 2006 |
| Record Nr. | UNINA-9910768191803321 |
| Berlin ; ; New York, : Springer, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering [[electronic resource] ] : 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15–16, 2018, Proceedings / / edited by Ferhat Khendek, Reinhard Gotzhein
| System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering [[electronic resource] ] : 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15–16, 2018, Proceedings / / edited by Ferhat Khendek, Reinhard Gotzhein |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XII, 247 p. 66 illus.) |
| Disciplina | 003 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer hardware Computer organization Management information systems Computer science Software Engineering Computer Hardware Computer Systems Organization and Communication Networks Management of Computing and Information Systems |
| ISBN | 3-030-01042-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Modeling Data Protection Vulnerabilities of Cloud Systems using Risk Patterns -- Scheduling Architectures for Scientific Workows in the Cloud -- CREST -- A DSL for Reactive Cyber-Physical Systems -- On the Ontological Expressiveness of the High-Level Constraint Language for Product Line Specification -- Distributed Computing on Distributed Memory -- Pattern Libraries Guiding the Model-based Reuse of Automotive Solutions -- Enabling Performance Modeling for the Masses: Initial Experiences -- Realizability of Service Specifications -- An Arithmetic Semantics for GRL Goal Models with Function Generation -- Textual User Requirements Notation -- A Comparative Analysis of ITU-MSC-based Requirements Specification Approaches used in the Automotive Industry -- Towards Online Collaborative Multi-View Modeling -- Collaborative Software Design and Modeling in Open Source Systems -- The Impact of Integrating Agile Software Development and Model-Driven Development: A Comparative Case Study. . |
| Record Nr. | UNISA-996466441803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering : 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15–16, 2018, Proceedings / / edited by Ferhat Khendek, Reinhard Gotzhein
| System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering : 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15–16, 2018, Proceedings / / edited by Ferhat Khendek, Reinhard Gotzhein |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XII, 247 p. 66 illus.) |
| Disciplina |
003
004.21 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer hardware Computer organization Management information systems Computer science Software Engineering Computer Hardware Computer Systems Organization and Communication Networks Management of Computing and Information Systems |
| ISBN | 3-030-01042-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Modeling Data Protection Vulnerabilities of Cloud Systems using Risk Patterns -- Scheduling Architectures for Scientific Workows in the Cloud -- CREST -- A DSL for Reactive Cyber-Physical Systems -- On the Ontological Expressiveness of the High-Level Constraint Language for Product Line Specification -- Distributed Computing on Distributed Memory -- Pattern Libraries Guiding the Model-based Reuse of Automotive Solutions -- Enabling Performance Modeling for the Masses: Initial Experiences -- Realizability of Service Specifications -- An Arithmetic Semantics for GRL Goal Models with Function Generation -- Textual User Requirements Notation -- A Comparative Analysis of ITU-MSC-based Requirements Specification Approaches used in the Automotive Industry -- Towards Online Collaborative Multi-View Modeling -- Collaborative Software Design and Modeling in Open Source Systems -- The Impact of Integrating Agile Software Development and Model-Driven Development: A Comparative Case Study. . |
| Record Nr. | UNINA-9910349399403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
System Analysis and Modeling: Language Profiles [[electronic resource] ] : 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers / / edited by Reinhard Gotzhein, Rick Reed
| System Analysis and Modeling: Language Profiles [[electronic resource] ] : 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers / / edited by Reinhard Gotzhein, Rick Reed |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (X, 229 p.) |
| Disciplina | 003.3 |
| Collana | Computer Communication Networks and Telecommunications |
| Soggetto topico |
Computers
Computer communication systems Software engineering Programming languages (Electronic computers) Computer logic Special purpose computers Theory of Computation Computer Communication Networks Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Special Purpose and Application-Based Systems |
| ISBN | 3-540-68373-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Language Profiles -- A UML Profile for Communicating Systems -- Implementing the eODL Graphical Representation -- Distributed Real-Time Behavioral Requirements Modeling Using Extended UML/SPT -- Formal Operations for SDL Language Profiles -- Evolution of Development Languages -- Automating Scenario Merging -- Timed High-Level Message Sequence Charts for Real-Time System Design -- Timed Use Case Maps -- Model-Driven Development -- Application of Stuck-Free Conformance to Service-Role Composition -- A Simulator Interconnection Framework for the Accurate Performance Simulation of SDL Models -- Refactoring and Metrics for TTCN-3 Test Suites -- SDL Design of a Radio Resource Control Protocol for 3G Evolution Systems with Two Different Approaches -- Language Implementation -- Evaluation of Development Tools for Domain-Specific Modeling Languages -- Towards Integrated Tool Support for the User Requirements Notation -- ConTraST – A Configurable SDL Transpiler and Runtime Environment. |
| Record Nr. | UNISA-996466113003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
System Analysis and Modeling: Theory and Practice : 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012, Revised Selected Papers / / edited by Oystein Haugen, Rick Reed, Reinhard Gotzhein
| System Analysis and Modeling: Theory and Practice : 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012, Revised Selected Papers / / edited by Oystein Haugen, Rick Reed, Reinhard Gotzhein |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (X, 249 p. 91 illus.) |
| Disciplina | 004.2/1 |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 2, Programming and software engineering Programming and Software Engineering |
| Soggetto topico |
Sistemas, Análisis de
Software engineering Sistemas de información de gestión Computer communication systems Programming languages (Electronic computers) Management information systems Computer science Software Engineering Ingeniería del software Computer Communication Networks Programming Languages, Compilers, Interpreters Management of Computing and Information Systems |
| Soggetto genere / forma | Conference proceedings. |
| ISBN | 3-642-36757-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Models ’67 Revisited -- Identification and Selection of Interaction Test Scenarios for Integration Testing -- An Approach to Specify and Analyze Goal Model Families -- Real-Time Tasks in SDL -- Prototyping Domain Specific Languages as Extensions of a General Purpose Language -- Behavioral Fuzzing Operators for UML Sequence Diagrams -- Relativity and Abstract State Machines -- From Earthquake Detection to Traffic Surveillance – About Information and Communication Infrastructures for Smart Cities -- On Deriving Detailed Component Design from High-Level Service Specification -- Type-Safe Symmetric Composition of Metamodels Using Templates -- Towards Correct Product Derivation in Model-Driven Product Lines -- Simulation Configuration Modeling of Distributed Communication Systems -- GRL Model Validation: A Statistical Approach -- Configuration-Based Service Availability Analysis for Middleware Managed Applications. |
| Altri titoli varianti | SAM'12 |
| Record Nr. | UNISA-996465673103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
System Analysis and Modeling: Theory and Practice : 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012, Revised Selected Papers / / edited by Oystein Haugen, Rick Reed, Reinhard Gotzhein
| System Analysis and Modeling: Theory and Practice : 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012, Revised Selected Papers / / edited by Oystein Haugen, Rick Reed, Reinhard Gotzhein |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (X, 249 p. 91 illus.) |
| Disciplina | 004.2/1 |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 2, Programming and software engineering Programming and Software Engineering |
| Soggetto topico |
Sistemas, Análisis de
Software engineering Sistemas de información de gestión Computer communication systems Programming languages (Electronic computers) Management information systems Computer science Software Engineering Ingeniería del software Computer Communication Networks Programming Languages, Compilers, Interpreters Management of Computing and Information Systems |
| Soggetto genere / forma | Conference proceedings. |
| ISBN | 3-642-36757-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Models ’67 Revisited -- Identification and Selection of Interaction Test Scenarios for Integration Testing -- An Approach to Specify and Analyze Goal Model Families -- Real-Time Tasks in SDL -- Prototyping Domain Specific Languages as Extensions of a General Purpose Language -- Behavioral Fuzzing Operators for UML Sequence Diagrams -- Relativity and Abstract State Machines -- From Earthquake Detection to Traffic Surveillance – About Information and Communication Infrastructures for Smart Cities -- On Deriving Detailed Component Design from High-Level Service Specification -- Type-Safe Symmetric Composition of Metamodels Using Templates -- Towards Correct Product Derivation in Model-Driven Product Lines -- Simulation Configuration Modeling of Distributed Communication Systems -- GRL Model Validation: A Statistical Approach -- Configuration-Based Service Availability Analysis for Middleware Managed Applications. |
| Altri titoli varianti | SAM'12 |
| Record Nr. | UNINA-9910484215803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||