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.
Advanced information systems engineering : 21st international conference, CAISE 2009, Amsterdam, The Netherlands, June 8-12, 2009. proceedings / / [edited by] Pascal van Eck, Jaap Gordijn, Roel Wieringa
| Advanced information systems engineering : 21st international conference, CAISE 2009, Amsterdam, The Netherlands, June 8-12, 2009. proceedings / / [edited by] Pascal van Eck, Jaap Gordijn, Roel Wieringa |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | New York, : Springer, 2009 |
| Descrizione fisica | 1 online resource (XVIII, 562 p.) |
| Disciplina | 006.312 |
| Altri autori (Persone) |
EckPascal van
GordijnJaap WieringaRoel |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Computer-aided software engineering
Systems engineering |
| ISBN | 3-642-02144-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynotes -- The Science of the Web -- TomTom for Business Process Management (TomTom4BPM) -- Computer-Centric Business Operating Models vs. Network-Centric Ones -- The IT Dilemma and the Unified Computing Framework -- Tutorial: How to Value Software in a Business, and Where Might the Value Go? -- Towards the Next Generation of Service-Based Systems: The S-Cube Research Framework -- Model Driven Engineering -- An Extensible Aspect-Oriented Modeling Environment -- Incremental Detection of Model Inconsistencies Based on Model Operations -- Reasoning on UML Conceptual Schemas with Operations -- Conceptual Modelling 1 -- Towards the Industrialization of Data Migration: Concepts and Patterns for Standard Software Implementation Projects -- Defining and Using Schematic Correspondences for Automatically Generating Schema Mappings -- The Problem of Transitivity of Part-Whole Relations in Conceptual Modeling Revisited -- Conceptual Modelling 2 -- Using UML as a Domain-Specific Modeling Language: A Proposal for Automatic Generation of UML Profiles -- Verifying Action Semantics Specifications in UML Behavioral Models -- Using Macromodels to Manage Collections of Related Models -- Quality and Data Integration -- A Case Study of Defect Introduction Mechanisms -- Measuring and Comparing Effectiveness of Data Quality Techniques -- Improving Model Quality Using Diagram Coverage Criteria -- Goal-Oriented Requirements Engineering -- A Method for the Definition of Metrics over i* Models -- Preference Model Driven Services Selection -- Secure Information Systems Engineering: Experiences and Lessons Learned from Two Health Care Projects -- Requirements and Architecture -- An Architecture for Requirements-Driven Self-reconfiguration -- Automated Context-Aware Service Selection for Collaborative Systems -- Development Framework for Mobile Social Applications -- Service Orientation -- Evolving Services from a Contractual Perspective -- Efficient IR-Style Search over Web Services -- Towards a Sustainable Services Innovation in the Construction Sector -- Web Service Orchestration -- P2S: A Methodology to Enable Inter-organizational Process Design through Web Services -- Composing Time-Aware Web Service Orchestrations -- Asynchronous Timed Web Service-Aware Choreography Analysis -- Value-Driven Modelling -- Evaluation Patterns for Analyzing the Costs of Enterprise Information Systems -- Using the REA Ontology to Create Interoperability between E-Collaboration Modeling Standards -- Value-Based Service Modeling and Design: Toward a Unified View of Services -- Workflow -- Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows -- Process Algebra-Based Query Workflows -- ETL Workflow Analysis and Verification Using Backwards Constraint Propagation -- Business Process Modelling -- The Declarative Approach to Business Process Execution: An Empirical Test -- Configurable Process Models: Experiences from a Municipality Case Study -- Business Process Modeling: Current Issues and Future Challenges -- Requirements Engineering -- Deriving Information Requirements from Responsibility Models -- Communication Analysis: A Requirements Engineering Method for Information Systems -- Spectrum Analysis for Quality Requirements by Using a Term-Characteristics Map. |
| Record Nr. | UNINA-9910483087503321 |
| New York, : Springer, 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Engineering Secure Software and Systems : Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011, Proceedings / / edited by Úlfar Erlingsson, Roel Wieringa, Nicola Zannone
| Engineering Secure Software and Systems : Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011, Proceedings / / edited by Úlfar Erlingsson, Roel Wieringa, Nicola Zannone |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (XI, 273 p. 69 illus., 21 illus. in color.) |
| Disciplina | 005.8 |
| Collana | Security and Cryptology |
| Soggetto topico |
Computer communication systems
Data encryption (Computer science) Software engineering Data structures (Computer science) Computer science—Mathematics Computers Computer Communication Networks Cryptology Software Engineering/Programming and Operating Systems Data Structures and Information Theory Math Applications in Computer Science Models and Principles |
| ISBN | 3-642-19125-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | ESSoS'11 |
| Record Nr. | UNISA-996466068503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Engineering secure software and systems : third International Symposium, ESSOS 2011, Madrid, Spain, February 9-10, 2011 : proceedings / / Ulfar Erlingsson, Roel Wieringa, Nicola Zannone (eds.)
| Engineering secure software and systems : third International Symposium, ESSOS 2011, Madrid, Spain, February 9-10, 2011 : proceedings / / Ulfar Erlingsson, Roel Wieringa, Nicola Zannone (eds.) |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | New York, : Springer, 2011 |
| Descrizione fisica | 1 online resource (XI, 273 p. 69 illus., 21 illus. in color.) |
| Disciplina | 005.8 |
| Altri autori (Persone) |
ErlingssonUlfar
WieringaRoel ZannoneNicola |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 4, Security and cryptology |
| Soggetto topico |
Computer security
Software engineering |
| ISBN | 3-642-19125-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910510604803321 |
| New York, : Springer, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 2006 International Workshop on Software Technology Transfer in Software Engineering
| Proceedings of the 2006 International Workshop on Software Technology Transfer in Software Engineering |
| Autore | Harrison Warren |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2006 |
| Descrizione fisica | 1 online resource (58 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 | TT '06 |
| Record Nr. | UNINA-9910376482903321 |
Harrison Warren
|
||
| [Place of publication not identified], : ACM, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Requirements engineering : foundation for software quality : 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30-July 2, 2010 : proceedings / / Roel Wieringa, Anne Persson, (eds.)
| Requirements engineering : foundation for software quality : 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30-July 2, 2010 : proceedings / / Roel Wieringa, Anne Persson, (eds.) |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | New York, : Springer, 2010 |
| Descrizione fisica | 1 online resource (XII, 280 p. 62 illus.) |
| Disciplina | 005.1 |
| Altri autori (Persone) |
WieringaRoel
PerssonAnne |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 2, Programming and software engineering |
| Soggetto topico |
Software engineering
Computer software - Development Computer software - Quality control |
| ISBN |
1-280-38776-9
9786613565686 3-642-14192-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote -- Keynote Talk Piecing Together the Requirements Jigsaw-Puzzle -- Decision-Making in Requirements Engineering -- Understanding the Scope of Uncertainty in Dynamically Adaptive Systems -- Use of Personal Values in Requirements Engineering – A Research Preview -- Requirements and Systems Architecture Interaction in a Prototypical Project: Emerging Results -- Scenarios and Elicitation -- Videos vs. Use Cases: Can Videos Capture More Requirements under Time Pressure? -- Supporting the Consistent Specification of Scenarios across Multiple Abstraction Levels -- Product Families I -- Requirements Value Chains: Stakeholder Management and Requirements Engineering in Software Ecosystems -- Binary Priority List for Prioritizing Software Requirements -- Requirements Patterns -- Towards a Framework for Specifying Software Robustness Requirements Based on Patterns -- A Metamodel for Software Requirement Patterns -- Validation of the Effectiveness of an Optimized EPMcreate as an Aid for Creative Requirements Elicitation -- Product Families II -- Towards Multi-view Feature-Based Configuration -- Evaluation of a Method for Proactively Managing the Evolving Scope of a Software Product Line -- Requirements Engineering in Practice -- Challenges in Aligning Requirements Engineering and Verification in a Large-Scale Industrial Context -- On the Perception of Software Quality Requirements during the Project Lifecycle -- Lessons Learned from Integrating Specification Templates, Collaborative Workshops, and Peer Reviews -- A Case Study on Tool-Supported Multi-level Requirements Management in Complex Product Families -- Natural Language -- A Domain Ontology Building Process for Guiding Requirements Elicitation -- Tackling Semi-automatic Trace Recovery for Large Specifications -- Ambiguity Detection: Towards a Tool Explaining Ambiguity Sources -- Ambiguity in Natural Language Software Requirements: A Case Study -- Security Requirements -- On the Role of Ambiguity in RE -- Towards a Framework to Elicit and Manage Security and Privacy Requirements from Laws and Regulations -- Visualizing Cyber Attacks with Misuse Case Maps -- Poster -- How Do Software Architects Consider Non-Functional Requirements: A Survey. |
| Record Nr. | UNINA-9910484633803321 |
| New York, : Springer, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Requirements Engineering: Foundation for Software Quality [[electronic resource] ] : 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30-July 2, 2010. Proceedings / / edited by Roel Wieringa, Anne Persson
| Requirements Engineering: Foundation for Software Quality [[electronic resource] ] : 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30-July 2, 2010. Proceedings / / edited by Roel Wieringa, Anne Persson |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XII, 280 p. 62 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer communication systems Application software Management information systems Computer science Computers and civilization Software Engineering/Programming and Operating Systems Software Engineering Computer Communication Networks Information Systems Applications (incl. Internet) Management of Computing and Information Systems Computers and Society |
| ISBN |
1-280-38776-9
9786613565686 3-642-14192-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote -- Keynote Talk Piecing Together the Requirements Jigsaw-Puzzle -- Decision-Making in Requirements Engineering -- Understanding the Scope of Uncertainty in Dynamically Adaptive Systems -- Use of Personal Values in Requirements Engineering – A Research Preview -- Requirements and Systems Architecture Interaction in a Prototypical Project: Emerging Results -- Scenarios and Elicitation -- Videos vs. Use Cases: Can Videos Capture More Requirements under Time Pressure? -- Supporting the Consistent Specification of Scenarios across Multiple Abstraction Levels -- Product Families I -- Requirements Value Chains: Stakeholder Management and Requirements Engineering in Software Ecosystems -- Binary Priority List for Prioritizing Software Requirements -- Requirements Patterns -- Towards a Framework for Specifying Software Robustness Requirements Based on Patterns -- A Metamodel for Software Requirement Patterns -- Validation of the Effectiveness of an Optimized EPMcreate as an Aid for Creative Requirements Elicitation -- Product Families II -- Towards Multi-view Feature-Based Configuration -- Evaluation of a Method for Proactively Managing the Evolving Scope of a Software Product Line -- Requirements Engineering in Practice -- Challenges in Aligning Requirements Engineering and Verification in a Large-Scale Industrial Context -- On the Perception of Software Quality Requirements during the Project Lifecycle -- Lessons Learned from Integrating Specification Templates, Collaborative Workshops, and Peer Reviews -- A Case Study on Tool-Supported Multi-level Requirements Management in Complex Product Families -- Natural Language -- A Domain Ontology Building Process for Guiding Requirements Elicitation -- Tackling Semi-automatic Trace Recovery for Large Specifications -- Ambiguity Detection: Towards a Tool Explaining Ambiguity Sources -- Ambiguity in Natural Language Software Requirements: A Case Study -- Security Requirements -- On the Role of Ambiguity in RE -- Towards a Framework to Elicit and Manage Security and Privacy Requirements from Laws and Regulations -- Visualizing Cyber Attacks with Misuse Case Maps -- Poster -- How Do Software Architects Consider Non-Functional Requirements: A Survey. |
| Record Nr. | UNISA-996465575303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||