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 [[electronic resource] ] : 26th International Conference, CAiSE 2014, Thessaloniki, Greece, June 16-20, 2014, Proceedings / / edited by Matthias Jarke, John Mylopoulos, Christoph Quix, Colette Rolland, Yannis Manolopoulos, Haralambos Mouratidis, Jennifer Horkoff
| Advanced Information Systems Engineering [[electronic resource] ] : 26th International Conference, CAiSE 2014, Thessaloniki, Greece, June 16-20, 2014, Proceedings / / edited by Matthias Jarke, John Mylopoulos, Christoph Quix, Colette Rolland, Yannis Manolopoulos, Haralambos Mouratidis, Jennifer Horkoff |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XX, 674 p. 180 illus.) |
| Disciplina | 005.7 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Application software
Software engineering Database management Information technology Business—Data processing Information Systems Applications (incl. Internet) Software Engineering Database Management IT in Business Computer Appl. in Administrative Data Processing |
| ISBN | 3-319-07881-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Clouds and services -- Requirements -- Product lines -- Requirements elicitation -- Processes -- Risk and security -- Process models -- Data mining and streaming -- Process mining -- Models -- Mining event logs -- Databases -- Software engineering. |
| Record Nr. | UNISA-996199995603316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advanced Information Systems Engineering : 26th International Conference, CAiSE 2014, Thessaloniki, Greece, June 16-20, 2014, Proceedings / / edited by Matthias Jarke, John Mylopoulos, Christoph Quix, Colette Rolland, Yannis Manolopoulos, Haralambos Mouratidis, Jennifer Horkoff
| Advanced Information Systems Engineering : 26th International Conference, CAiSE 2014, Thessaloniki, Greece, June 16-20, 2014, Proceedings / / edited by Matthias Jarke, John Mylopoulos, Christoph Quix, Colette Rolland, Yannis Manolopoulos, Haralambos Mouratidis, Jennifer Horkoff |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XX, 674 p. 180 illus.) |
| Disciplina | 005.7 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Application software
Software engineering Database management Information technology Business—Data processing Information Systems Applications (incl. Internet) Software Engineering Database Management IT in Business Computer Appl. in Administrative Data Processing |
| ISBN | 3-319-07881-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Clouds and services -- Requirements -- Product lines -- Requirements elicitation -- Processes -- Risk and security -- Process models -- Data mining and streaming -- Process mining -- Models -- Mining event logs -- Databases -- Software engineering. |
| Record Nr. | UNINA-9910483969503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advanced Information Systems Engineering [[electronic resource] ] : 23rd International Conference, CAiSE 2011, London, UK, June 20-24, 2011, Proceedings / / edited by Haris Mouratidis, Colette Rolland
| Advanced Information Systems Engineering [[electronic resource] ] : 23rd International Conference, CAiSE 2011, London, UK, June 20-24, 2011, Proceedings / / edited by Haris Mouratidis, Colette Rolland |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (XVIII, 684 p. 231 illus., 121 illus. in color.) |
| Disciplina | 005.7 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Application software
Information storage and retrieval systems Computer networks Software engineering Database management Artificial intelligence Computer and Information Systems Applications Information Storage and Retrieval Computer Communication Networks Software Engineering Database Management Artificial Intelligence |
| ISBN | 3-642-21640-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Ten open chalenges at the boundaries of software engineering and information systems (abstract) / Anthony Finkelstein -- Total integration: the case of information systems for Olympic Games (abstract) /Dimitrios A. Beis. |
| Record Nr. | UNISA-996465538003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advanced Information Systems Engineering [[electronic resource] ] : 5th International Conference, CAiSE '93, Paris, France, June 8-11, 1993. Proceedings / / edited by Colette Rolland, Francois Bodart, Corine Cauvet
| Advanced Information Systems Engineering [[electronic resource] ] : 5th International Conference, CAiSE '93, Paris, France, June 8-11, 1993. Proceedings / / edited by Colette Rolland, Francois Bodart, Corine Cauvet |
| Edizione | [1st ed. 1993.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1993 |
| Descrizione fisica | 1 online resource (XIII, 655 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Operating systems (Computers)
Database management Software engineering Information technology Business—Data processing Operating Systems Database Management Software Engineering IT in Business |
| ISBN | 3-540-47735-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Consistent structural updates for object database design -- A procedural approach to schema evolution -- An active meta-model for knowledge evolution in an object-oriented database -- Schema integration in object-oriented databases -- Schema transformations as an aid in view integration -- Towards a model for persistent data integration -- Using explanations to improve the validation of executable models -- Visualisation for validation -- Validating conceptual models by transformational prototyping -- Partial evaluation and symbolic computation for the understanding of Fortran programs -- A multi-model approach for deriving requirements specifications for a mega-project -- The BOS-method architecture: An improved structured approach for the development of distributed information systems -- Dealing with security requirements during the development of information systems -- Elicitating and formalising requirements for C.I.M. information systems -- The three dimensions of requirements engineering -- Object-oriented analysis in practice -- Concepts for real-world modelling -- An abstraction-based rule approach to large-scale information systems development -- The semantics of parts versus aggregates in data/knowledge modelling -- Object interaction in object-oriented deductive conceptual models -- An object-oriented temporal model -- From object-oriented design towards object-oriented programming -- Automated mapping of conceptual schemas to relational schemas -- Normalization of object-oriented conceptual schemes -- Towards reliable information systems: The KorSo approach -- Similarity for analogical software reuse: A conceptual modelling approach -- Temporal aspects in reuse of requirement specifications -- Computer-aided verification of software process model properties -- An animation facility to simulate an information and communication system -- Design of user-driven interfaces using Petri nets and objects -- Perspectives on Software development Environments -- An object oriented database approach for supporting hypertext -- Estimation process of performance constraints during the design of Real-Time & Embedded systems -- Panel: Will is development methods be completely incorporated in CASE tools in the future?. |
| Record Nr. | UNISA-996466086003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Object-oriented information systems : 8th international conference, OOIS 2002, Montpellier, France, September 2-5, 2002 : proceedings / / Zohra Bellahsène, Dilip Patel, Colette Rolland, editors
| Object-oriented information systems : 8th international conference, OOIS 2002, Montpellier, France, September 2-5, 2002 : proceedings / / Zohra Bellahsène, Dilip Patel, Colette Rolland, editors |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [2002] |
| Descrizione fisica | 1 online resource (XIII, 550 p.) |
| Disciplina | 005.117 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico | Object-oriented methods (Computer science) |
| ISBN | 3-540-46102-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Corporate Semantic Webs -- A Framework for Defining E-business Models -- GRID in E-business -- The Latest Development on Cognitive Informatics -- Developping Web Services -- Pluggable Services for Tailorable E-content Delivery -- An Object-Oriented Approach for Designing Administrative E-forms and Transactional E-services -- Trust Objects in Electronic Commerce Transactions -- Object Databases -- OODBMS Metamodel Supporting Configuration Management of Large Applications -- Generic Applications for Object-Oriented Databases -- Validated Cost Models for Parallel OQL Query Processing -- An Object-Oriented Schema for Querying Audio -- XML and Web -- Supporting Web Development in the OPEN Process: Additional Roles and Techniques -- Semantic Integration of Heterogeneous XML Data Sources -- F2/XML: Storing XML Documents in Object Databases -- Customization Policies Need more than Rule Objects -- Component and Ontology -- Using Meta-patterns to Construct Patterns -- A Tool and a Formalism to Design and Apply Patterns -- A Support System for Reuse Knowledge Components -- Object Oriented Design Knowledge: Ontology and Measurement of Impact -- Generating Domain Models from Ontologies -- UML Modelling -- A Framework to Review Complex Experimental Knowledge -- A Framework to Translate UML Class Generalization into Java Code -- UML Aspect Specification Using Role Models -- Generic XMI-Based UML Model Transformations -- A UML Variant for Modeling System Searchability -- Object Modeling and Information Systems Adaptation -- A Methodological Framework for Understanding IS Adaptation through Enterprise Change -- Adapting Analysis and Design to Software Context: The JECKO Approach -- Organizational Transition to Object Technology: Theory and Practice -- Reflective Analysis and Design for Adapting Object Run-Time Behavior -- E-business Models and Workflow -- Generation of Object Models for Information Systems from Business System Models -- Requirements Capture Workflow in Global Information Systems -- Supporting Development of Enterprise JavaBeans through Declarative Meta Programming -- Performance and Method Evaluation -- Evaluating the DSMIO Cache-Coherence Algorithm in Cluster-Based Parallel ODBMS -- A Retrieval Technique for Software Components Using Directed Replaceability Similarity -- Evaluating Information Systems Development Methods: A New Framework -- Programming and Tests -- Non-functional Capability-Based Access Control in the Java Environment -- A European COTS Architecture with Built-in Tests -- Active Objects for Coordination in Distributed Testing -- Associative Modeling and Programming -- Software Engineering Metrics -- A Controlled Experiment for Validating Class Diagram Structural Complexity Metrics -- Domain-Specific Runtime Variability in Product Line Architectures -- Methodological Approach to Software Quality Assurance through High-Level Object-Oriented Metrics -- Sizing Use Cases: How to Create a Standard Metrical Approach -- Web-Based Information Systems -- Progressive Access: A Step towards Adaptability in Web-Based Information Systems -- A Contribution to Multimedia Document Modeling and Organizing -- An Object Oriented Collaboration Flow Management System for Virtual Team Support -- Architecture and Corba -- Connectors for CORBA Components -- Non-functional Replication Management in the Corba Component Model -- A Responsive Client Architecture with Local Object Behavior Deployment -- Structuring Product-Lines: A Layered Architectural Style -- Integrating Heterogeneous Communication and Messaging Systems in an Object-Oriented Middleware Framework -- Roles and Evolvable Objects -- Object Schizophrenia Problem in Object Role System Design -- Roles and Aspects: Similarities, Differences, and Synergetic Potential -- Flexible Object-Oriented Views Using Method Propagation -- Towards an Assisted Reorganization of Is_A Hierarchies. |
| Record Nr. | UNINA-9910143875803321 |
| Berlin ; ; Heidelberg : , : Springer, , [2002] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Object-oriented information systems : 8th international conference, OOIS 2002, Montpellier, France, September 2-5, 2002 : proceedings / / Zohra Bellahsène, Dilip Patel, Colette Rolland, editors
| Object-oriented information systems : 8th international conference, OOIS 2002, Montpellier, France, September 2-5, 2002 : proceedings / / Zohra Bellahsène, Dilip Patel, Colette Rolland, editors |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [2002] |
| Descrizione fisica | 1 online resource (XIII, 550 p.) |
| Disciplina | 005.117 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico | Object-oriented methods (Computer science) |
| ISBN | 3-540-46102-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Corporate Semantic Webs -- A Framework for Defining E-business Models -- GRID in E-business -- The Latest Development on Cognitive Informatics -- Developping Web Services -- Pluggable Services for Tailorable E-content Delivery -- An Object-Oriented Approach for Designing Administrative E-forms and Transactional E-services -- Trust Objects in Electronic Commerce Transactions -- Object Databases -- OODBMS Metamodel Supporting Configuration Management of Large Applications -- Generic Applications for Object-Oriented Databases -- Validated Cost Models for Parallel OQL Query Processing -- An Object-Oriented Schema for Querying Audio -- XML and Web -- Supporting Web Development in the OPEN Process: Additional Roles and Techniques -- Semantic Integration of Heterogeneous XML Data Sources -- F2/XML: Storing XML Documents in Object Databases -- Customization Policies Need more than Rule Objects -- Component and Ontology -- Using Meta-patterns to Construct Patterns -- A Tool and a Formalism to Design and Apply Patterns -- A Support System for Reuse Knowledge Components -- Object Oriented Design Knowledge: Ontology and Measurement of Impact -- Generating Domain Models from Ontologies -- UML Modelling -- A Framework to Review Complex Experimental Knowledge -- A Framework to Translate UML Class Generalization into Java Code -- UML Aspect Specification Using Role Models -- Generic XMI-Based UML Model Transformations -- A UML Variant for Modeling System Searchability -- Object Modeling and Information Systems Adaptation -- A Methodological Framework for Understanding IS Adaptation through Enterprise Change -- Adapting Analysis and Design to Software Context: The JECKO Approach -- Organizational Transition to Object Technology: Theory and Practice -- Reflective Analysis and Design for Adapting Object Run-Time Behavior -- E-business Models and Workflow -- Generation of Object Models for Information Systems from Business System Models -- Requirements Capture Workflow in Global Information Systems -- Supporting Development of Enterprise JavaBeans through Declarative Meta Programming -- Performance and Method Evaluation -- Evaluating the DSMIO Cache-Coherence Algorithm in Cluster-Based Parallel ODBMS -- A Retrieval Technique for Software Components Using Directed Replaceability Similarity -- Evaluating Information Systems Development Methods: A New Framework -- Programming and Tests -- Non-functional Capability-Based Access Control in the Java Environment -- A European COTS Architecture with Built-in Tests -- Active Objects for Coordination in Distributed Testing -- Associative Modeling and Programming -- Software Engineering Metrics -- A Controlled Experiment for Validating Class Diagram Structural Complexity Metrics -- Domain-Specific Runtime Variability in Product Line Architectures -- Methodological Approach to Software Quality Assurance through High-Level Object-Oriented Metrics -- Sizing Use Cases: How to Create a Standard Metrical Approach -- Web-Based Information Systems -- Progressive Access: A Step towards Adaptability in Web-Based Information Systems -- A Contribution to Multimedia Document Modeling and Organizing -- An Object Oriented Collaboration Flow Management System for Virtual Team Support -- Architecture and Corba -- Connectors for CORBA Components -- Non-functional Replication Management in the Corba Component Model -- A Responsive Client Architecture with Local Object Behavior Deployment -- Structuring Product-Lines: A Layered Architectural Style -- Integrating Heterogeneous Communication and Messaging Systems in an Object-Oriented Middleware Framework -- Roles and Evolvable Objects -- Object Schizophrenia Problem in Object Role System Design -- Roles and Aspects: Similarities, Differences, and Synergetic Potential -- Flexible Object-Oriented Views Using Method Propagation -- Towards an Assisted Reorganization of Is_A Hierarchies. |
| Record Nr. | UNISA-996466350703316 |
| Berlin ; ; Heidelberg : , : Springer, , [2002] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Requirements engineering : foundation for software quality : 14th international working conference, REFSQ 2008, Montpellier, France, June 16-17, 2008 : proceedings / / Barbara Paech, Colette Rolland (eds.)
| Requirements engineering : foundation for software quality : 14th international working conference, REFSQ 2008, Montpellier, France, June 16-17, 2008 : proceedings / / Barbara Paech, Colette Rolland (eds.) |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2008 |
| Descrizione fisica | 1 online resource (X, 205 p.) |
| Disciplina | 005.1/4 |
| Altri autori (Persone) |
PaechBarbara
RollandColette |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 2, Programming and software engineering |
| Soggetto topico |
Software engineering
Computer software - Quality control Computer software - Development |
| ISBN | 3-540-69062-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | REFSQ 2008 -- REFSQ’08 International Working Conference on Requirements Engineering: Foundation for Software Quality -- Process Improvement in Requirements Management: A Method Engineering Approach -- Enhancing Elicitation Technique Selection Process in a Cooperative Distributed Environment -- Negotiation Constellations – Method Selection Framework for Requirements Negotiation -- DESCRY: A Method for Evaluating Decision-Supporting Capabilities of Requirements Engineering Tools -- Inventing Requirements: Experiences with an Airport Operations System -- A Stakeholder Model for Interorganizational Information Systems -- Search Based Requirements Optimisation: Existing Work and Challenges -- Connecting Feature Models and AUTOSAR: An Approach Supporting Requirements Engineering in Automotive Industries -- Using a Creativity Workshop to Generate Requirements for an Event Database Application -- Can We Beat the Complexity of Very Large-Scale Requirements Engineering? -- Macro-level Traceability Via Media Transformations -- Towards Simulation-Based Quality Requirements Elicitation: A Position Paper -- Classifying Assumptions Made during Requirements Verification of Embedded Systems -- Integrating Portfolio Management and Simulation Concepts in the ERP Project Estimation Practice -- Can Patterns Improve i* Modeling? Two Exploratory Studies -- Discovering Web Services to Improve Requirements Specifications: Does It Help? -- Mobile Discovery of Requirements for Context-Aware Systems -- When to Adapt? Identification of Problem Domains for Adaptive Systems. |
| Altri titoli varianti | REFSQ 2008 |
| Record Nr. | UNINA-9910768170503321 |
| Berlin ; ; New York, : Springer, c2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Requirements Engineering: Foundation for Software Quality [[electronic resource] ] : 14th International Working Conference, REFSQ 2008 Montpellier, France, june 16-17, 2008, Proceedings / / edited by Barbara Paech, Colette Rolland
| Requirements Engineering: Foundation for Software Quality [[electronic resource] ] : 14th International Working Conference, REFSQ 2008 Montpellier, France, june 16-17, 2008, Proceedings / / edited by Barbara Paech, Colette Rolland |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (X, 205 p.) |
| Disciplina | 005.1/4 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Management information systems Computer science Information technology Business—Data processing Software Engineering/Programming and Operating Systems Software Engineering Logics and Meanings of Programs Management of Computing and Information Systems IT in Business |
| ISBN | 3-540-69062-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | REFSQ 2008 -- REFSQ’08 International Working Conference on Requirements Engineering: Foundation for Software Quality -- Process Improvement in Requirements Management: A Method Engineering Approach -- Enhancing Elicitation Technique Selection Process in a Cooperative Distributed Environment -- Negotiation Constellations – Method Selection Framework for Requirements Negotiation -- DESCRY: A Method for Evaluating Decision-Supporting Capabilities of Requirements Engineering Tools -- Inventing Requirements: Experiences with an Airport Operations System -- A Stakeholder Model for Interorganizational Information Systems -- Search Based Requirements Optimisation: Existing Work and Challenges -- Connecting Feature Models and AUTOSAR: An Approach Supporting Requirements Engineering in Automotive Industries -- Using a Creativity Workshop to Generate Requirements for an Event Database Application -- Can We Beat the Complexity of Very Large-Scale Requirements Engineering? -- Macro-level Traceability Via Media Transformations -- Towards Simulation-Based Quality Requirements Elicitation: A Position Paper -- Classifying Assumptions Made during Requirements Verification of Embedded Systems -- Integrating Portfolio Management and Simulation Concepts in the ERP Project Estimation Practice -- Can Patterns Improve i* Modeling? Two Exploratory Studies -- Discovering Web Services to Improve Requirements Specifications: Does It Help? -- Mobile Discovery of Requirements for Context-Aware Systems -- When to Adapt? Identification of Problem Domains for Adaptive Systems. |
| Record Nr. | UNISA-996465279203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||