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.
Dependability of Self-Optimizing Mechatronic Systems [[electronic resource] /] / edited by Jürgen Gausemeier, Franz Josef Rammig, Wilhelm Schäfer, Walter Sextro
| Dependability of Self-Optimizing Mechatronic Systems [[electronic resource] /] / edited by Jürgen Gausemeier, Franz Josef Rammig, Wilhelm Schäfer, Walter Sextro |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (206 p.) |
| Disciplina | 621 |
| Collana | Lecture Notes in Mechanical Engineering |
| Soggetto topico |
Engineering design
Mechatronics Computational complexity Engineering Design Complexity |
| ISBN | 3-642-53742-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction to Self-Optimization and Dependability -- Development of Self-Optimizing Systems -- Methods of Improving the Dependability of Self-Optimizing Systems -- Case Study -- Conclusion and Outlook. |
| Record Nr. | UNINA-9910299725503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Design Methodology for Intelligent Technical Systems [[electronic resource] ] : Develop Intelligent Technical Systems of the Future / / edited by Jürgen Gausemeier, Franz Josef Rammig, Wilhelm Schäfer
| Design Methodology for Intelligent Technical Systems [[electronic resource] ] : Develop Intelligent Technical Systems of the Future / / edited by Jürgen Gausemeier, Franz Josef Rammig, Wilhelm Schäfer |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (372 p.) |
| Disciplina | 620.0042 |
| Collana | Lecture Notes in Mechanical Engineering |
| Soggetto topico |
Engineering design
Mechatronics Computational complexity Engineering Design Complexity |
| ISBN | 3-642-45435-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The Paradigm of Self-Optimization -- Examples of Self-Optimizing Systems -- Development of Self-Optimizing Systems -- Methods for the Domain-Spanning Conceptual Design -- Methods for the Design and Development -- Summary and Outlook. |
| Record Nr. | UNINA-9910299724003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Graph Transformations and Model-Driven Engineering [[electronic resource] ] : Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday / / edited by Gregor Engels, Claus Lewerentz, Wilhelm Schäfer, Andy Schürr, Bernhard Westfechtel
| Graph Transformations and Model-Driven Engineering [[electronic resource] ] : Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday / / edited by Gregor Engels, Claus Lewerentz, Wilhelm Schäfer, Andy Schürr, Bernhard Westfechtel |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XIV, 768 p. 328 illus.) |
| Disciplina | 005.1028 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Computer communication systems Computer programming Mathematical logic Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Computer Communication Networks Programming Techniques Mathematical Logic and Formal Languages |
| Soggetto genere / forma | Aufsatzsammlung |
| ISBN |
1-280-39051-4
9786613568434 3-642-17322-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Graph Transformations and Model-Driven Engineering: The Merits of Manfred Nagl -- Graph Transformations and Model-Driven Engineering: The Merits of Manfred Nagl -- Graph Transformations: Theory and Applications -- The Edge of Graph Transformation — Graphs for Behavioural Specification -- Graph Transformation by Computational Category Theory -- On GS-Monoidal Theories for Graphs with Nesting -- Stochastic Modelling and Simulation of Mobile Systems -- Autonomous Units and Their Semantics – The Concurrent Case -- Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation -- Extended Triple Graph Grammars with Efficient and Compatible Graph Translators -- Controlling Reuse in Pattern-Based Model-to-Model Transformations -- Lessons Learned from Building a Graph Transformation System -- Workflow-Driven Tool Integration Using Model Transformations -- Software Architectures and Reengineering -- The Architecture Description Language MoDeL -- Towards Managing Software Architectures with Ontologies -- Using Role-Play Diagrams to Improve Scenario Role-Play -- Reverse Engineering Using Graph Queries -- Graph-Based Structural Analysis for Telecommunication Systems -- Process Support -- Do We Really Know How to Support Processes? Considerations and Reconstruction -- A Meta-Method for Defining Software Engineering Methods -- Techniques for Merging Views of Software Processes -- Embedded Systems Engineering -- Model Checking Programmable Router Configurations -- Architectural Issues of Adaptive Pervasive Systems -- Using Graph Grammars for Modeling Wiring Harnesses – An Experience Report -- Model-Driven Development with Mechatronic UML -- Model Synchronization at Work: Keeping SysML and AUTOSAR Models Consistent -- Multi-view Modeling to Support Embedded Systems Engineering in SysML -- Engineering Design Applications -- Requirements Engineering in Complex Domains -- Tool Support for Dynamic Development Processes -- An Extensible Modeling Language for the Representation of Work Processes in the Chemical and Process Industries -- Integration Tools for Consistency Management between Design Documents in Development Processes -- Towards Semantic Navigation in Mobile Robotics -- Model Driven Engineering in Operative Industrial Process Control Environments. |
| Record Nr. | UNINA-9910484056803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Graph Transformations and Model-Driven Engineering [[electronic resource] ] : Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday / / edited by Gregor Engels, Claus Lewerentz, Wilhelm Schäfer, Andy Schürr, Bernhard Westfechtel
| Graph Transformations and Model-Driven Engineering [[electronic resource] ] : Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday / / edited by Gregor Engels, Claus Lewerentz, Wilhelm Schäfer, Andy Schürr, Bernhard Westfechtel |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XIV, 768 p. 328 illus.) |
| Disciplina | 005.1028 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Computer communication systems Computer programming Mathematical logic Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Computer Communication Networks Programming Techniques Mathematical Logic and Formal Languages |
| Soggetto genere / forma | Aufsatzsammlung |
| ISBN |
1-280-39051-4
9786613568434 3-642-17322-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Graph Transformations and Model-Driven Engineering: The Merits of Manfred Nagl -- Graph Transformations and Model-Driven Engineering: The Merits of Manfred Nagl -- Graph Transformations: Theory and Applications -- The Edge of Graph Transformation — Graphs for Behavioural Specification -- Graph Transformation by Computational Category Theory -- On GS-Monoidal Theories for Graphs with Nesting -- Stochastic Modelling and Simulation of Mobile Systems -- Autonomous Units and Their Semantics – The Concurrent Case -- Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation -- Extended Triple Graph Grammars with Efficient and Compatible Graph Translators -- Controlling Reuse in Pattern-Based Model-to-Model Transformations -- Lessons Learned from Building a Graph Transformation System -- Workflow-Driven Tool Integration Using Model Transformations -- Software Architectures and Reengineering -- The Architecture Description Language MoDeL -- Towards Managing Software Architectures with Ontologies -- Using Role-Play Diagrams to Improve Scenario Role-Play -- Reverse Engineering Using Graph Queries -- Graph-Based Structural Analysis for Telecommunication Systems -- Process Support -- Do We Really Know How to Support Processes? Considerations and Reconstruction -- A Meta-Method for Defining Software Engineering Methods -- Techniques for Merging Views of Software Processes -- Embedded Systems Engineering -- Model Checking Programmable Router Configurations -- Architectural Issues of Adaptive Pervasive Systems -- Using Graph Grammars for Modeling Wiring Harnesses – An Experience Report -- Model-Driven Development with Mechatronic UML -- Model Synchronization at Work: Keeping SysML and AUTOSAR Models Consistent -- Multi-view Modeling to Support Embedded Systems Engineering in SysML -- Engineering Design Applications -- Requirements Engineering in Complex Domains -- Tool Support for Dynamic Development Processes -- An Extensible Modeling Language for the Representation of Work Processes in the Chemical and Process Industries -- Integration Tools for Consistency Management between Design Documents in Development Processes -- Towards Semantic Navigation in Mobile Robotics -- Model Driven Engineering in Operative Industrial Process Control Environments. |
| Record Nr. | UNISA-996465713803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
New Modeling Concepts for Today's Software Processes [[electronic resource] ] : International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings / / edited by Jürgen Münch, Ye Yang, Wilhelm Schäfer
| New Modeling Concepts for Today's Software Processes [[electronic resource] ] : International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings / / edited by Jürgen Münch, Ye Yang, Wilhelm Schäfer |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XIV, 382 p. 133 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Computer communication systems Computer programming Software Engineering/Programming and Operating Systems Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Computer Communication Networks Programming Techniques |
| ISBN |
1-280-38790-4
9786613565822 3-642-14347-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- A Risk-Driven Decision Table for Software Process Selection -- Process Alignment -- Using Process Definitions to Support Reasoning about Satisfaction of Process Requirements -- Early Empirical Assessment of the Practical Value of GQM+Strategies -- Determining Organization-Specific Process Suitability -- On Scoping Stakeholders and Artifacts in Software Process -- Critical Success Factors for Rapid, Innovative Solutions -- Process Management -- Evidence-Based Software Processes -- SoS Management Strategy Impacts on SoS Engineering Effort -- Using Project Procedure Diagrams for Milestone Planning -- A Framework for the Flexible Instantiation of Large Scale Software Process Tailoring -- A Methodological Framework and Software Infrastructure for the Construction of Software Production Methods -- Software Factories: Describing the Assembly Process -- How to Welcome Software Process Improvement and Avoid Resistance to Change -- Process Models -- The Incremental Commitment Model Process Patterns for Rapid-Fielding Projects -- A Repository of Agile Method Fragments -- OAP: Toward a Process for an Open World -- An Automatic Approach to Aid Process Integration within a Secure Software Processes Family -- Engineering Adaptive IT Service Support Processes Using Meta-modeling Technologies -- Modeling a Resource-Constrained Test-and-Fix Cycle and Test Phase Duration -- Process Representation -- Visual Patterns in Issue Tracking Data -- Disruption-Driven Resource Rescheduling in Software Development Processes -- MODAL: A SPEM Extension to Improve Co-design Process Models -- Process Analysis and Measurement -- Application of Re-estimation in Re-planning of Software Product Releases -- Software Process Model Blueprints -- Measurement and Analysis of Process Audit: A Case Study -- A Fuzzy-Based Method for Evaluating the Trustworthiness of Software Processes -- Process Simulation Modeling -- Software Process Simulation Modeling: An Extended Systematic Review -- SimSWE – A Library of Reusable Components for Software Process Simulation -- Applications of a Generic Work-Test-Rework Component for Software Process Simulation -- Experience Reports and Empirical Studies -- An Empirical Study of Lead-Times in Incremental and Agile Software Development -- Improving the ROI of Software Quality Assurance Activities: An Empirical Study -- Benchmarking the Customer Configuration Updating Process of the International Product Software Industry. |
| Record Nr. | UNISA-996465870303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
New Modeling Concepts for Today's Software Processes [[electronic resource] ] : International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings / / edited by Jürgen Münch, Ye Yang, Wilhelm Schäfer
| New Modeling Concepts for Today's Software Processes [[electronic resource] ] : International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings / / edited by Jürgen Münch, Ye Yang, Wilhelm Schäfer |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XIV, 382 p. 133 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Computer communication systems Computer programming Software Engineering/Programming and Operating Systems Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Computer Communication Networks Programming Techniques |
| ISBN |
1-280-38790-4
9786613565822 3-642-14347-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- A Risk-Driven Decision Table for Software Process Selection -- Process Alignment -- Using Process Definitions to Support Reasoning about Satisfaction of Process Requirements -- Early Empirical Assessment of the Practical Value of GQM+Strategies -- Determining Organization-Specific Process Suitability -- On Scoping Stakeholders and Artifacts in Software Process -- Critical Success Factors for Rapid, Innovative Solutions -- Process Management -- Evidence-Based Software Processes -- SoS Management Strategy Impacts on SoS Engineering Effort -- Using Project Procedure Diagrams for Milestone Planning -- A Framework for the Flexible Instantiation of Large Scale Software Process Tailoring -- A Methodological Framework and Software Infrastructure for the Construction of Software Production Methods -- Software Factories: Describing the Assembly Process -- How to Welcome Software Process Improvement and Avoid Resistance to Change -- Process Models -- The Incremental Commitment Model Process Patterns for Rapid-Fielding Projects -- A Repository of Agile Method Fragments -- OAP: Toward a Process for an Open World -- An Automatic Approach to Aid Process Integration within a Secure Software Processes Family -- Engineering Adaptive IT Service Support Processes Using Meta-modeling Technologies -- Modeling a Resource-Constrained Test-and-Fix Cycle and Test Phase Duration -- Process Representation -- Visual Patterns in Issue Tracking Data -- Disruption-Driven Resource Rescheduling in Software Development Processes -- MODAL: A SPEM Extension to Improve Co-design Process Models -- Process Analysis and Measurement -- Application of Re-estimation in Re-planning of Software Product Releases -- Software Process Model Blueprints -- Measurement and Analysis of Process Audit: A Case Study -- A Fuzzy-Based Method for Evaluating the Trustworthiness of Software Processes -- Process Simulation Modeling -- Software Process Simulation Modeling: An Extended Systematic Review -- SimSWE – A Library of Reusable Components for Software Process Simulation -- Applications of a Generic Work-Test-Rework Component for Software Process Simulation -- Experience Reports and Empirical Studies -- An Empirical Study of Lead-Times in Incremental and Agile Software Development -- Improving the ROI of Software Quality Assurance Activities: An Empirical Study -- Benchmarking the Customer Configuration Updating Process of the International Product Software Industry. |
| Record Nr. | UNINA-9910483433403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software engineering--ESEC '95 : 5th European Software Engineering Conference, Sitges, Spain, September 25-28, 1995 : proceedings / / Wilhelm Schäfer, Pere Botella, eds
| Software engineering--ESEC '95 : 5th European Software Engineering Conference, Sitges, Spain, September 25-28, 1995 : proceedings / / Wilhelm Schäfer, Pere Botella, eds |
| Pubbl/distr/stampa | Springer Berlin Heidelberg |
| Altri autori (Persone) |
SchäferWilhelm
BotellaPere |
| Soggetto topico | Software engineering - Congresses |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466097603316 |
| Springer Berlin Heidelberg | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software Process Technology [[electronic resource] ] : 4th European Workshop, EWSPT '95, Noordwijkerhout, The Netherlands, April 3 - 5, 1995. Proceedings / / edited by Wilhelm Schäfer
| Software Process Technology [[electronic resource] ] : 4th European Workshop, EWSPT '95, Noordwijkerhout, The Netherlands, April 3 - 5, 1995. Proceedings / / edited by Wilhelm Schäfer |
| Edizione | [1st ed. 1995.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 |
| Descrizione fisica | 1 online resource (IX, 265 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Software Engineering/Programming and Operating Systems Software Engineering |
| ISBN | 3-540-49224-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Metrics and analysis session -- Process viewpoints -- Process-based software risk assessment -- The use of roles and measurement to enact project plans in MVP-S -- Combining process models and metrics in practice -- Application experiments -- Space shuttle onboard software (OBS) development and maintenance process automation -- PM case studies: A tentative characterisation -- A survey and comparison of some research areas relevant to software process modeling -- Customising software process models -- Process differentiation and integration: The key to just-in-time in product development -- Open issues in the design of PM languages -- In favour of a coherent process coding language -- Process modelling languages: One or many? -- Experiments in process interface descriptions, visualizations and analyses -- The software process and the modelling of complex systems -- Interpretable process models for software development and workflow -- Integrating process technology and CSCW -- Distributed modelling session -- Process management in-the-many -- A generalized multi-view approach -- Decentralised process modelling -- Coordination by behavioural views and communication patterns -- Configuration of situational process models: An information systems engineering perspective -- Mechanisms for cooperation (Chair: Christer fernström) current issues on integration -- Enveloping “persistent” tools for a process-centered environment -- Coordination for process support is not enough! -- Coordination theory and software process technology -- Transaction technology for process modelling -- Stepwise specification of interactive processes in COO -- Session on change and meta-process -- A reflexive formal software process model -- Transients change processes in process centered environments. |
| Record Nr. | UNISA-996466105803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||