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 | ||
![]() | ||
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 |
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 | ||
![]() | ||
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.) |
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
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.) |
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 | ||
![]() | ||
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 |
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 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|