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.
Aspect-Oriented Requirements Engineering / / edited by Ana Moreira, Ruzanna Chitchyan, João Araújo, Awais Rashid
| Aspect-Oriented Requirements Engineering / / edited by Ana Moreira, Ruzanna Chitchyan, João Araújo, Awais Rashid |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (390 p.) |
| Disciplina |
004
005.1 005.74 |
| Soggetto topico |
Software engineering
Management information systems Computer science Software Engineering Management of Computing and Information Systems |
| ISBN | 3-642-38640-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1: Aspect-Oriented Requirements Engineering -- Section 1: Concern Identification in Requirements -- Chapter 2: Aspect Identification in Textual Requirements with EA-Miner -- Chapter 3: Reasoning about Dynamic Aspectual Requirements -- Section 2: Concern Modelling and Composition -- Chapter 4: AO Aspect-Oriented Compositions for Dynamic Behaviour Models -- Chapter 5: Semantics-based Composition for Textual Requirements -- Chapter 6: Composing Goal and Scenario Models with the Aspect-oriented User Requirements Notation (AoURN) Based on Syntax and Semantics -- Chapter 7: Aspect Oriented Goal Modelling and Composition with AOV-graph -- Chapter 8: Aspects Composition in Problem Frames -- Section 3: Domain-Specific Use of AORE -- Chapter 9: Mapping Aspects from Requirements to Architecture -- Chapter 10: Maintaining Security Requirements of Software Systems using Evolving Crosscutting Dependencies -- Chapter 11: Using Aspects to Model Volatile Concerns -- Section 4: Aspect Interactions -- Chapter 12: Conflict Identification with EA-Analyser -- Chapter 13: Handling Conflicts in Aspect-Oriented Requirements Engineering -- Chapter 14: Analysis of Aspect-Oriented Models using Graph Transformation Systems -- Chapter 15: Aspect Interactions: A Requirements Engineering Perspective -- Section 5: AORE in Industry -- Chapter 16: Implementing Aspect-Oriented Requirements Analysis for Investment Banking Applications -- Chapter 17: Experience Report: AORE in Slot Machines -- Chapter 18: Advancing AORE through Evaluation. |
| Record Nr. | UNINA-9910437583503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Model-Driven Engineering Languages and Systems [[electronic resource] ] : 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings / / edited by Ana Moreira, Bernhard Schätz, Jeff Gray, Antonio Vallecillo, Peter Clarke
| Model-Driven Engineering Languages and Systems [[electronic resource] ] : 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings / / edited by Ana Moreira, Bernhard Schätz, Jeff Gray, Antonio Vallecillo, Peter Clarke |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XXVIII, 792 p. 299 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Programming languages (Electronic computers)
Software engineering Computer logic Management information systems Computer science Computer simulation Computer system failures Programming Languages, Compilers, Interpreters Software Engineering Logics and Meanings of Programs Management of Computing and Information Systems Simulation and Modeling System Performance and Evaluation |
| ISBN | 3-642-41533-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Tool support -- Dependability -- Comprehensibility -- Testing -- Evolution -- Verification -- Product lines -- Semantics -- Domain-specific modeling languages -- Design and architecture -- Model transformation -- Model analysis.- System synthesis. |
| Record Nr. | UNISA-996465522003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Model-Driven Engineering Languages and Systems : 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings / / edited by Ana Moreira, Bernhard Schätz, Jeff Gray, Antonio Vallecillo, Peter Clarke
| Model-Driven Engineering Languages and Systems : 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings / / edited by Ana Moreira, Bernhard Schätz, Jeff Gray, Antonio Vallecillo, Peter Clarke |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XXVIII, 792 p. 299 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Programming languages (Electronic computers)
Software engineering Computer logic Management information systems Computer science Computer simulation Computer system failures Programming Languages, Compilers, Interpreters Software Engineering Logics and Meanings of Programs Management of Computing and Information Systems Simulation and Modeling System Performance and Evaluation |
| ISBN | 3-642-41533-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Tool support -- Dependability -- Comprehensibility -- Testing -- Evolution -- Verification -- Product lines -- Semantics -- Domain-specific modeling languages -- Design and architecture -- Model transformation -- Model analysis.- System synthesis. |
| Record Nr. | UNINA-9910483238903321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Object-Oriented Technology. ECOOP 2002 Workshop Reader [[electronic resource] ] : ECOOP 2002 Workshops and Posters, Málaga, Spain, June 10-14, 2002, Proceedings / / edited by Juan Hernández, Ana Moreira
| Object-Oriented Technology. ECOOP 2002 Workshop Reader [[electronic resource] ] : ECOOP 2002 Workshops and Posters, Málaga, Spain, June 10-14, 2002, Proceedings / / edited by Juan Hernández, Ana Moreira |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (VIII, 224 p.) |
| Disciplina | 005.1/17 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer programming
Software engineering Computer communication systems Computer logic Database management Computers and civilization Programming Techniques Software Engineering/Programming and Operating Systems Computer Communication Networks Logics and Meanings of Programs Database Management Computers and Society |
| ISBN | 3-540-36208-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Resource Management for Safe Languages -- Generative Programming -- Tools and Environments for Learning Object-Oriented Concepts -- 12th Workshop for PhD Students in Object Oriented Systems -- Web-Oriented Software Technology -- Component-Oriented Programming -- Concrete Communication Abstractions of the Next 701 Distributed Object Systems -- Unanticipated Software Evolution -- Composition Languages -- The Inheritance Workshop -- Model-Based Software Reuse -- Quantitative Approaches in Object-Oriented Software Engineering -- Multiparadigm Programming with Object-Oriented Languages -- Knowledge-Based Object-Oriented Software Engineering -- Object-Orientation and Operating Systems -- Integration and Transformation of UML Models -- Mobile Object Systems -- Feyerabend: Redefining Computing -- Formal Techniques for Java-like Programs -- Poster Session. |
| Record Nr. | UNISA-996465748803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Object-Oriented Technology. ECOOP 2002 Workshop Reader : ECOOP 2002 Workshops and Posters, Málaga, Spain, June 10-14, 2002, Proceedings / / edited by Juan Hernández, Ana Moreira
| Object-Oriented Technology. ECOOP 2002 Workshop Reader : ECOOP 2002 Workshops and Posters, Málaga, Spain, June 10-14, 2002, Proceedings / / edited by Juan Hernández, Ana Moreira |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (VIII, 224 p.) |
| Disciplina | 005.1/17 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer programming
Software engineering Computer communication systems Computer logic Database management Computers and civilization Programming Techniques Software Engineering/Programming and Operating Systems Computer Communication Networks Logics and Meanings of Programs Database Management Computers and Society |
| ISBN | 3-540-36208-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Resource Management for Safe Languages -- Generative Programming -- Tools and Environments for Learning Object-Oriented Concepts -- 12th Workshop for PhD Students in Object Oriented Systems -- Web-Oriented Software Technology -- Component-Oriented Programming -- Concrete Communication Abstractions of the Next 701 Distributed Object Systems -- Unanticipated Software Evolution -- Composition Languages -- The Inheritance Workshop -- Model-Based Software Reuse -- Quantitative Approaches in Object-Oriented Software Engineering -- Multiparadigm Programming with Object-Oriented Languages -- Knowledge-Based Object-Oriented Software Engineering -- Object-Orientation and Operating Systems -- Integration and Transformation of UML Models -- Mobile Object Systems -- Feyerabend: Redefining Computing -- Formal Techniques for Java-like Programs -- Poster Session. |
| Record Nr. | UNINA-9910143889203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Object-Oriented Technology: ECOOP 2000 Workshop Reader [[electronic resource] ] : ECOOP 2000 Workshops, Panels, and Posters Sophia Antipolis and Cannes, France, June 12-16, 2000 Proceedings / / edited by Jacques Malenfant, Sabine Moisan, Ana Moreira
| Object-Oriented Technology: ECOOP 2000 Workshop Reader [[electronic resource] ] : ECOOP 2000 Workshops, Panels, and Posters Sophia Antipolis and Cannes, France, June 12-16, 2000 Proceedings / / edited by Jacques Malenfant, Sabine Moisan, Ana Moreira |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (XII, 316 p.) |
| Disciplina | 005.117 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer programming
Software engineering Database management Computer logic Computer communication systems Management information systems Computer science Programming Techniques Software Engineering/Programming and Operating Systems Database Management Logics and Meanings of Programs Computer Communication Networks Management of Computing and Information Systems |
| ISBN | 3-540-44555-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Workshop Reports -- Reflection and Meta-level Architectures: State of the Art and Future Trends -- Exception Handling in Object Oriented Systems -- Object-Orientation and Operating Systems -- Formal Techniques for Java Programs -- Component-Oriented Programming -- Tools and Environments for Understanding Object-Oriented Concepts -- PhDOOS 2000: The 10th Ph.D. Workshop on Object-Oriented Systems -- Quantitative Approaches in Object-Oriented Software Engineering -- Metadata and Adaptive Object-Models -- Defining Precise Semantics for UML -- Objects and Classification -- Object-Oriented Architectural Evolution -- Specification, Implementation, and Validation of Object-Oriented Embedded Systems -- Quality of Service in Distributed Object Systems -- XML and Object Technology -- Workshop on Aspects and Dimensions of Concern: Requirements on, and Challenge Problems for, Advanced Separation of Concerns -- Mobile Object Systems -- New Issues in Object Interoperability -- Panel Report -- Panel Session: Mobile Code, Internet Security, and E-Commerce -- Posters -- Poster Session. |
| Record Nr. | UNISA-996466033003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Object-Oriented Technology: ECOOP 2000 Workshop Reader : ECOOP 2000 Workshops, Panels, and Posters Sophia Antipolis and Cannes, France, June 12-16, 2000 Proceedings / / edited by Jacques Malenfant, Sabine Moisan, Ana Moreira
| Object-Oriented Technology: ECOOP 2000 Workshop Reader : ECOOP 2000 Workshops, Panels, and Posters Sophia Antipolis and Cannes, France, June 12-16, 2000 Proceedings / / edited by Jacques Malenfant, Sabine Moisan, Ana Moreira |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (XII, 316 p.) |
| Disciplina | 005.117 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer programming
Software engineering Database management Computer logic Computer communication systems Management information systems Computer science Programming Techniques Software Engineering/Programming and Operating Systems Database Management Logics and Meanings of Programs Computer Communication Networks Management of Computing and Information Systems |
| ISBN | 3-540-44555-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Workshop Reports -- Reflection and Meta-level Architectures: State of the Art and Future Trends -- Exception Handling in Object Oriented Systems -- Object-Orientation and Operating Systems -- Formal Techniques for Java Programs -- Component-Oriented Programming -- Tools and Environments for Understanding Object-Oriented Concepts -- PhDOOS 2000: The 10th Ph.D. Workshop on Object-Oriented Systems -- Quantitative Approaches in Object-Oriented Software Engineering -- Metadata and Adaptive Object-Models -- Defining Precise Semantics for UML -- Objects and Classification -- Object-Oriented Architectural Evolution -- Specification, Implementation, and Validation of Object-Oriented Embedded Systems -- Quality of Service in Distributed Object Systems -- XML and Object Technology -- Workshop on Aspects and Dimensions of Concern: Requirements on, and Challenge Problems for, Advanced Separation of Concerns -- Mobile Object Systems -- New Issues in Object Interoperability -- Panel Report -- Panel Session: Mobile Code, Internet Security, and E-Commerce -- Posters -- Poster Session. |
| Record Nr. | UNINA-9910143606203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Requirements Engineering : 30th International Working Conference, REFSQ 2024, Winterthur, Switzerland, April 8-11, 2024, Proceedings
| Requirements Engineering : 30th International Working Conference, REFSQ 2024, Winterthur, Switzerland, April 8-11, 2024, Proceedings |
| Autore | Mendez Daniel |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing AG, , 2024 |
| Descrizione fisica | 1 online resource (363 pages) |
| Altri autori (Persone) | MoreiraAna |
| Collana | Lecture Notes in Computer Science Series |
| ISBN | 3-031-57327-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996589543603316 |
Mendez Daniel
|
||
| Cham : , : Springer International Publishing AG, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Requirements Engineering : 30th International Working Conference, REFSQ 2024, Winterthur, Switzerland, April 8-11, 2024, Proceedings
| Requirements Engineering : 30th International Working Conference, REFSQ 2024, Winterthur, Switzerland, April 8-11, 2024, Proceedings |
| Autore | Mendez Daniel |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing AG, , 2024 |
| Descrizione fisica | 1 online resource (363 pages) |
| Altri autori (Persone) | MoreiraAna |
| Collana | Lecture Notes in Computer Science Series |
| ISBN | 3-031-57327-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910847084803321 |
|
Mendez Daniel
|
||
| Cham : , : Springer International Publishing AG, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
UML 2004 - The Unified Modeling Language [[electronic resource] ] : Modeling Languages and Applications. 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings / / edited by Thomas Baar, Alfred Strohmeier, Ana Moreira
| UML 2004 - The Unified Modeling Language [[electronic resource] ] : Modeling Languages and Applications. 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings / / edited by Thomas Baar, Alfred Strohmeier, Ana Moreira |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XIII, 456 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Management information systems Computer science Computer simulation Software Engineering/Programming and Operating Systems Software Engineering Programming Languages, Compilers, Interpreters Management of Computing and Information Systems Simulation and Modeling |
| ISBN | 3-540-30187-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Metamodeling -- Empirically Driven Use Case Metamodel Evolution -- Applying OO Metrics to Assess UML Meta-models -- An OCL Formulation of UML2 Template Binding -- A Metamodel for Generating Performance Models from UML Designs -- On the Classification of UML’s Meta Model Extension Mechanism -- Modeling Business Processes in Web Applications with ArgoUWE -- Aspects -- Model Composition Directives -- Query Models -- Specifying Cross-Cutting Requirement Concerns -- Profiles and Extensions -- A UML Profile to Model Mobile Systems -- Experimental Evaluation of the UML Profile for Schedulability, Performance, and Time -- A UML Profile for Executable and Incremental Specification-Level Modeling -- OCL -- Applying Refactoring Techniques to UML/OCL Models -- Detecting OCL Traps in the UML 2.0 Superstructure: An Experience Report -- From Informal to Formal Specifications in UML -- Building Precise UML Constructs to Model Concurrency Using OCL -- An ASM Definition of the Dynamic OCL 2.0 Semantics -- Towards a Framework for Mapping Between UML/OCL and XML/XQuery -- Model Transformation -- Model-Driven Architecture for Automatic-Control: An Experience Report -- Model-Driven Development for Non-functional Properties: Refinement Through Model Transformation -- Generic and Meta-transformations for Model Transformation Engineering -- Verification and Model Consistency -- Supporting Model Refactorings Through Behaviour Inheritance Consistencies -- Determining the Structural Events That May Violate an Integrity Constraint -- Deductive Verification of UML Models in TLPVS -- Security -- Integrating a Security Requirement Language with UML -- Automated Verification of UMLsec Models for Security Requirements -- Extending OCL for Secure Database Development -- Methodology -- Test Driven Development of UML Models with SMART Modeling System -- Behavioral Domain Analysis — The Application-Based Domain Modeling Approach -- Using UML-based Feature Models and UML Collaboration Diagrams to Information Modelling for Web-Based Applications -- Workshops and Tutorials -- Workshops at the UML 2004 Conference -- Tutorials at the UML 2004 Conference. |
| Record Nr. | UNISA-996465482403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
