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.
Proceedings / / International Workshop on Computer-Aided Software Engineerings
| Proceedings / / International Workshop on Computer-Aided Software Engineerings |
| Pubbl/distr/stampa | [Los Alamitos, Calif.] : , : IEEE Computer Society Press, , 1992-1995 |
| Disciplina |
005.1
005.1/0285 |
| Soggetto topico | Computer-aided software engineering |
| Soggetto genere / forma |
Periodicals.
Conference papers and proceedings. |
| ISSN | 2378-3729 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Computer-Aided Software Engineering
CASE Proceedings of the International Workshop on Computer-Aided Software Engineerings |
| Record Nr. | UNINA-9910625171803321 |
| [Los Alamitos, Calif.] : , : IEEE Computer Society Press, , 1992-1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings / / International Workshop on Computer-Aided Software Engineerings
| Proceedings / / International Workshop on Computer-Aided Software Engineerings |
| Pubbl/distr/stampa | [Los Alamitos, Calif.] : , : IEEE Computer Society Press, , 1992-1995 |
| Disciplina |
005.1
005.1/0285 |
| Soggetto topico | Computer-aided software engineering |
| Soggetto genere / forma |
Periodicals.
Conference papers and proceedings. |
| ISSN | 2378-3729 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Computer-Aided Software Engineering
CASE Proceedings of the International Workshop on Computer-Aided Software Engineerings |
| Record Nr. | UNISA-996279710303316 |
| [Los Alamitos, Calif.] : , : IEEE Computer Society Press, , 1992-1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Proceedings of the 2019 3rd International Conference on Management Engineering, Software Engineering and Service Sciences / / Association for Computing Machinery
| Proceedings of the 2019 3rd International Conference on Management Engineering, Software Engineering and Service Sciences / / Association for Computing Machinery |
| Pubbl/distr/stampa | New York, NY, United States : , : Association for Computing Machinery, , 2019 |
| Descrizione fisica | 1 online resource (292 pages) |
| Disciplina | 005.1 |
| Soggetto topico |
Software engineering
Computer-aided software engineering |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910375765103321 |
| New York, NY, United States : , : Association for Computing Machinery, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering / / general chairs, Ewen Denney ; sponsors, SIGSOFT [and four others]
| Proceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering / / general chairs, Ewen Denney ; sponsors, SIGSOFT [and four others] |
| Pubbl/distr/stampa | Piscataway, New Jersey : , : IEEE Press, , 2013 |
| Descrizione fisica | 1 online resource (765 pages) |
| Disciplina | 005.1 |
| Soggetto topico |
Software engineering
Computer-aided software engineering Teams in the workplace - Data processing |
| ISBN | 1-4799-0215-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910132425803321 |
| Piscataway, New Jersey : , : IEEE Press, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering / / general chairs, Ewen Denney ; sponsors, SIGSOFT [and four others]
| Proceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering / / general chairs, Ewen Denney ; sponsors, SIGSOFT [and four others] |
| Pubbl/distr/stampa | Piscataway, New Jersey : , : IEEE Press, , 2013 |
| Descrizione fisica | 1 online resource (765 pages) |
| Disciplina | 005.1 |
| Soggetto topico |
Software engineering
Computer-aided software engineering Teams in the workplace - Data processing |
| ISBN | 1-4799-0215-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996280855903316 |
| Piscataway, New Jersey : , : IEEE Press, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering / / Myra Cohen, Lars Grunske, Michael Whalen, editors
| Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering / / Myra Cohen, Lars Grunske, Michael Whalen, editors |
| Pubbl/distr/stampa | EEE Press : , : Piscataway, NJ, , 2015 |
| Descrizione fisica | 1 online resource : illustrations |
| Disciplina | 005.1 |
| Soggetto topico |
Computer-aided software engineering
Software engineering Teams in the workplace - a processing |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910412064403321 |
| EEE Press : , : Piscataway, NJ, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Process-aware information systems [[electronic resource] ] : bridging people and software through process technology / / edited by Marlon Dumas, Wil van der Aalst, Arthur H.M. ter Hofstede
| Process-aware information systems [[electronic resource] ] : bridging people and software through process technology / / edited by Marlon Dumas, Wil van der Aalst, Arthur H.M. ter Hofstede |
| Pubbl/distr/stampa | Hoboken, N.J., : Wiley-Interscience, c2005 |
| Descrizione fisica | 1 online resource (427 p.) |
| Disciplina | 005.10285 |
| Altri autori (Persone) |
DumasMarlon
AalstWil van der Ter HofstedeArthur <1966-> |
| Soggetto topico |
Computer-aided software engineering
Human-computer interaction |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-280-23563-2
9786610235636 0-470-24634-0 0-471-74144-2 0-471-74143-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
PROCESS-AWARE INFORMATION SYSTEMS; Contents; Preface; Contributors; PART I Concepts; 1 Introduction; 1.1 From Programs and Data to Processes; 1.2 PAIS: Definition and Rationale; 1.3 Techniques and Tools; 1.4 Classifications; 1.5 About the Book; References; 2 Person-to-Application Processes: Workflow Management; 2.1 Introduction; 2.2 Workflow Terminology; 2.3 Workflow Modeling; 2.4 Workflow Management Systems; 2.5 Outlook; 2.6 Exercises; References; 3 Person-to-Person Processes: Computer-Supported Collaborative Work; 3.1 Introduction; 3.2 Characterization of Person-to-Person Interactions
3.3 Characterization of Person-to-Person Systems3.4 Example Systems; 3.5 Summary and Conclusions; 3.6 Exercises; References; 4 Enterprise Application Integration and Business-to-Business Integration Processes; 4.1 Introduction; 4.2 Examples of EAI and B2B Processes; 4.3 Concepts, Architectures, and Tools; 4.4 Future Developments; 4.5 Exercises; References; PART II Modeling Languages; 5 Process Modeling Using UML; 5.1 Introduction; 5.2 Modeling Control Flow with Activity Diagrams; 5.3 Modeling Objects and Object Flow; 5.4 Modeling Organizational Structure 5.5 Modeling Business Partner Interactions5.6 System-Specific Process Models; 5.7 Summary; 5.8 Exercises; References; 6 Process Modeling Using Event-Driven Process Chains; 6.1 Introduction; 6.2 Overview of EPC; 6.3 The ARIS Business Process Meta-Model; 6.4 How to Correctly Model EPCs; 6.5 The ARIS Architecture; 6.6 Future Extensions; 6.7 Exercises; References; 7 Process Modeling Using Petri Nets; 7.1 Introduction; 7.2 Petri Nets; 7.3 Petri Net Classes and Behavior; 7.4 Modeling Single Processes Without Resources; 7.5 Modeling Processes with Resources; 7.6 Behavior and Refinement; 7.7 Analysis 7.8 Net ClassesExercises; References; 8 Patterns of Process Modeling; 8.1 Introduction; 8.2 Classification of Patterns; 8.3 Examples of Control-Flow Patterns; 8.4 Conclusion; 8.5 Exercises; Acknowledgments; References; PART III Techniques; 9 Process Design and Redesign; 9.1 Introduction; 9.2 Methodologies, Techniques, and Tools; 9.3 Business Process Performance Indicators; 9.4 Redesigning Processes Using Best Practices; 9.5 Information-Based Business Process Design; 9.6 Conclusion; 9.7 Exercises; References; 10 Process Mining; 10.1 Introduction; 10.2 Process Mining: An Overview 10.3 Process Mining with the a Algorithm10.4 Limitations of the Alpha Approach and Possible Solutions; 10.5 Conclusion; Acknowledgments; 10.6 Exercises; References; 11 Transactional Business Processes; 11.1 Introduction; 11.2 Transactional Consistency; 11.3 Atomicity; 11.4 Infrastructure for Implementing Atomicity; 11.5 Outlook; 11.6 Exercises and Assignments; Acknowledgments; References; PART IV Standards and Tools; 12 Standards for Workflow Definition and Execution; 12.1 Introduction; 12.2 Standardization Bodies Relevant to PAIS; 12.3 WfMC Reference Model and WfMC Glossary 12.4 Process Definition in XPDL |
| Record Nr. | UNINA-9910143572503321 |
| Hoboken, N.J., : Wiley-Interscience, c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Process-aware information systems [[electronic resource] ] : bridging people and software through process technology / / edited by Marlon Dumas, Wil van der Aalst, Arthur H.M. ter Hofstede
| Process-aware information systems [[electronic resource] ] : bridging people and software through process technology / / edited by Marlon Dumas, Wil van der Aalst, Arthur H.M. ter Hofstede |
| Pubbl/distr/stampa | Hoboken, N.J., : Wiley-Interscience, c2005 |
| Descrizione fisica | 1 online resource (427 p.) |
| Disciplina | 005.10285 |
| Altri autori (Persone) |
DumasMarlon
AalstWil van der Ter HofstedeArthur <1966-> |
| Soggetto topico |
Computer-aided software engineering
Human-computer interaction |
| ISBN |
1-280-23563-2
9786610235636 0-470-24634-0 0-471-74144-2 0-471-74143-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
PROCESS-AWARE INFORMATION SYSTEMS; Contents; Preface; Contributors; PART I Concepts; 1 Introduction; 1.1 From Programs and Data to Processes; 1.2 PAIS: Definition and Rationale; 1.3 Techniques and Tools; 1.4 Classifications; 1.5 About the Book; References; 2 Person-to-Application Processes: Workflow Management; 2.1 Introduction; 2.2 Workflow Terminology; 2.3 Workflow Modeling; 2.4 Workflow Management Systems; 2.5 Outlook; 2.6 Exercises; References; 3 Person-to-Person Processes: Computer-Supported Collaborative Work; 3.1 Introduction; 3.2 Characterization of Person-to-Person Interactions
3.3 Characterization of Person-to-Person Systems3.4 Example Systems; 3.5 Summary and Conclusions; 3.6 Exercises; References; 4 Enterprise Application Integration and Business-to-Business Integration Processes; 4.1 Introduction; 4.2 Examples of EAI and B2B Processes; 4.3 Concepts, Architectures, and Tools; 4.4 Future Developments; 4.5 Exercises; References; PART II Modeling Languages; 5 Process Modeling Using UML; 5.1 Introduction; 5.2 Modeling Control Flow with Activity Diagrams; 5.3 Modeling Objects and Object Flow; 5.4 Modeling Organizational Structure 5.5 Modeling Business Partner Interactions5.6 System-Specific Process Models; 5.7 Summary; 5.8 Exercises; References; 6 Process Modeling Using Event-Driven Process Chains; 6.1 Introduction; 6.2 Overview of EPC; 6.3 The ARIS Business Process Meta-Model; 6.4 How to Correctly Model EPCs; 6.5 The ARIS Architecture; 6.6 Future Extensions; 6.7 Exercises; References; 7 Process Modeling Using Petri Nets; 7.1 Introduction; 7.2 Petri Nets; 7.3 Petri Net Classes and Behavior; 7.4 Modeling Single Processes Without Resources; 7.5 Modeling Processes with Resources; 7.6 Behavior and Refinement; 7.7 Analysis 7.8 Net ClassesExercises; References; 8 Patterns of Process Modeling; 8.1 Introduction; 8.2 Classification of Patterns; 8.3 Examples of Control-Flow Patterns; 8.4 Conclusion; 8.5 Exercises; Acknowledgments; References; PART III Techniques; 9 Process Design and Redesign; 9.1 Introduction; 9.2 Methodologies, Techniques, and Tools; 9.3 Business Process Performance Indicators; 9.4 Redesigning Processes Using Best Practices; 9.5 Information-Based Business Process Design; 9.6 Conclusion; 9.7 Exercises; References; 10 Process Mining; 10.1 Introduction; 10.2 Process Mining: An Overview 10.3 Process Mining with the a Algorithm10.4 Limitations of the Alpha Approach and Possible Solutions; 10.5 Conclusion; Acknowledgments; 10.6 Exercises; References; 11 Transactional Business Processes; 11.1 Introduction; 11.2 Transactional Consistency; 11.3 Atomicity; 11.4 Infrastructure for Implementing Atomicity; 11.5 Outlook; 11.6 Exercises and Assignments; Acknowledgments; References; PART IV Standards and Tools; 12 Standards for Workflow Definition and Execution; 12.1 Introduction; 12.2 Standardization Bodies Relevant to PAIS; 12.3 WfMC Reference Model and WfMC Glossary 12.4 Process Definition in XPDL |
| Record Nr. | UNINA-9910830861303321 |
| Hoboken, N.J., : Wiley-Interscience, c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Process-aware information systems [[electronic resource] ] : bridging people and software through process technology / / edited by Marlon Dumas, Wil van der Aalst, Arthur H.M. ter Hofstede
| Process-aware information systems [[electronic resource] ] : bridging people and software through process technology / / edited by Marlon Dumas, Wil van der Aalst, Arthur H.M. ter Hofstede |
| Pubbl/distr/stampa | Hoboken, N.J., : Wiley-Interscience, c2005 |
| Descrizione fisica | 1 online resource (427 p.) |
| Disciplina | 005.10285 |
| Altri autori (Persone) |
DumasMarlon
AalstWil van der Ter HofstedeArthur <1966-> |
| Soggetto topico |
Computer-aided software engineering
Human-computer interaction |
| ISBN |
1-280-23563-2
9786610235636 0-470-24634-0 0-471-74144-2 0-471-74143-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
PROCESS-AWARE INFORMATION SYSTEMS; Contents; Preface; Contributors; PART I Concepts; 1 Introduction; 1.1 From Programs and Data to Processes; 1.2 PAIS: Definition and Rationale; 1.3 Techniques and Tools; 1.4 Classifications; 1.5 About the Book; References; 2 Person-to-Application Processes: Workflow Management; 2.1 Introduction; 2.2 Workflow Terminology; 2.3 Workflow Modeling; 2.4 Workflow Management Systems; 2.5 Outlook; 2.6 Exercises; References; 3 Person-to-Person Processes: Computer-Supported Collaborative Work; 3.1 Introduction; 3.2 Characterization of Person-to-Person Interactions
3.3 Characterization of Person-to-Person Systems3.4 Example Systems; 3.5 Summary and Conclusions; 3.6 Exercises; References; 4 Enterprise Application Integration and Business-to-Business Integration Processes; 4.1 Introduction; 4.2 Examples of EAI and B2B Processes; 4.3 Concepts, Architectures, and Tools; 4.4 Future Developments; 4.5 Exercises; References; PART II Modeling Languages; 5 Process Modeling Using UML; 5.1 Introduction; 5.2 Modeling Control Flow with Activity Diagrams; 5.3 Modeling Objects and Object Flow; 5.4 Modeling Organizational Structure 5.5 Modeling Business Partner Interactions5.6 System-Specific Process Models; 5.7 Summary; 5.8 Exercises; References; 6 Process Modeling Using Event-Driven Process Chains; 6.1 Introduction; 6.2 Overview of EPC; 6.3 The ARIS Business Process Meta-Model; 6.4 How to Correctly Model EPCs; 6.5 The ARIS Architecture; 6.6 Future Extensions; 6.7 Exercises; References; 7 Process Modeling Using Petri Nets; 7.1 Introduction; 7.2 Petri Nets; 7.3 Petri Net Classes and Behavior; 7.4 Modeling Single Processes Without Resources; 7.5 Modeling Processes with Resources; 7.6 Behavior and Refinement; 7.7 Analysis 7.8 Net ClassesExercises; References; 8 Patterns of Process Modeling; 8.1 Introduction; 8.2 Classification of Patterns; 8.3 Examples of Control-Flow Patterns; 8.4 Conclusion; 8.5 Exercises; Acknowledgments; References; PART III Techniques; 9 Process Design and Redesign; 9.1 Introduction; 9.2 Methodologies, Techniques, and Tools; 9.3 Business Process Performance Indicators; 9.4 Redesigning Processes Using Best Practices; 9.5 Information-Based Business Process Design; 9.6 Conclusion; 9.7 Exercises; References; 10 Process Mining; 10.1 Introduction; 10.2 Process Mining: An Overview 10.3 Process Mining with the a Algorithm10.4 Limitations of the Alpha Approach and Possible Solutions; 10.5 Conclusion; Acknowledgments; 10.6 Exercises; References; 11 Transactional Business Processes; 11.1 Introduction; 11.2 Transactional Consistency; 11.3 Atomicity; 11.4 Infrastructure for Implementing Atomicity; 11.5 Outlook; 11.6 Exercises and Assignments; Acknowledgments; References; PART IV Standards and Tools; 12 Standards for Workflow Definition and Execution; 12.1 Introduction; 12.2 Standardization Bodies Relevant to PAIS; 12.3 WfMC Reference Model and WfMC Glossary 12.4 Process Definition in XPDL |
| Record Nr. | UNINA-9910841204603321 |
| Hoboken, N.J., : Wiley-Interscience, c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Seminal contributions to information systems engineering : 25 years of CAiSE / / Janis Bubenko [and five others], editors
| Seminal contributions to information systems engineering : 25 years of CAiSE / / Janis Bubenko [and five others], editors |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Heidelberg [Germany] : , : Springer, , 2013 |
| Descrizione fisica | 1 online resource (xi, 458 pages) : illustrations (some color) |
| Disciplina | 005.1 |
| Collana | Gale eBooks |
| Soggetto topico |
Computer-aided software engineering
Computer systems Information technology Systems engineering |
| ISBN | 3-642-36926-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The CAiSE Adventure -- Evolution of the CAiSE Author Community: A Social Network Analysis -- A Natural Language Approach for Requirements Engineering -- Conceptual Modeling & Natural Language Analysis -- The Three Dimensions of Requirements Engineering: A Framework and its Applications -- The Three Dimensions of Requirements Engineering: 20 Years Later -- Towards a Deeper Understanding of Quality in Requirements Engineering -- 20 Years of Quality of Models -- METAEDIT+ A Fully Configurable Multi-User and Multi-tool CASE and CAME Environment -- MetaEdit+ at the Age of 20 -- OO-METHOD: An OO Software Production Environment Combining Conventional and Formal Methods -- The Conceptual Model is The Code. Why Not? -- Architecture and Quality in Data Warehouses -- Data Warehouse Architecture and Quality: Impact and Open Challenges -- Time Constraints in Workflow Systems -- Workflow Time Management Revisited -- Adaptive and Dynamic Service Composition in eFlow -- Promises and Failures of Research in Dynamic Service Composition -- On Structured Workflow Modelling -- The Structured Phase of Concurrency -- A Requirements-driven Development Methodology -- The Evolution of Tropos -- The P2P Approach to Interorganizational Workflows -- Reflections on a Decade of Interorganizational Workflow Research -- Database Schema Matching Using Machine Learning with Feature Selection -- Automatch Revisited -- Data Integration under Integrity Constraints -- Rewrite and Conquer: Dealing with Integrity Constraints in Data Integration -- Automated Reasoning on Feature Models -- Automated Analysis of Stateful Feature Models -- Change Patterns and Change Support Features in Process-Aware Information Systems -- Process Change Patterns: Recent Research Use Cases Research Directions -- Measuring Similarity between Business Process Models -- A Short Survey on Process Model Similarity -- How Much Language is Enough? Theoretical and Practical Use of the Business Process Modeling Notation -- We Still Don’t Know How Much BPMN is Enough but We are Getting Closer -- The Future of CAiSE. |
| Record Nr. | UNINA-9910739416003321 |
| Heidelberg [Germany] : , : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
