05620nam 22006735 450 99646578090331620200702143332.03-319-33693-210.1007/978-3-319-33693-0(CKB)3710000000711660(DE-He213)978-3-319-33693-0(MiAaPQ)EBC6286186(MiAaPQ)EBC5587083(Au-PeEL)EBL5587083(OCoLC)951214410(PPN)194076865(EXLCZ)99371000000071166020160523d2016 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierIntegrated Formal Methods[electronic resource] 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings /edited by Erika Ábrahám, Marieke Huisman1st ed. 2016.Cham :Springer International Publishing :Imprint: Springer,2016.1 online resource (XIV, 538 p. 145 illus.) Programming and Software Engineering ;9681Includes index.3-319-33692-4 Invited Contributions -- Can Formal Methods Improve the Efficiency of Code Reviews.-Symbolic Computation and Automated Reasoning for Program Analysis -- Program verification -- On Type Checking Delta-Oriented Product Lines -- Verifying a priority scheduler for an SCJ runtime environment -- Why Just Boogie? Translating Between Intermediate Verification Languages -- Probabilistic systems -- Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata -- Probabilistic Formal Analysis of App Usage to Inform Redesign -- Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC -- Concurrency -- Monitoring Multi-threaded Component-Based Systems -- A Generalised Theory of Interface Automata, Component Compatibility and Error -- On Implementing a Monitor-Oriented Programming Framework for Actor Systems -- Towards a Thread-Local Proof Technique for Starvation Freedom -- Reasoning about Inheritance and Unrestricted Reuse in Object-Oriented Concurrent Systems -- A Formal Model of the Safety-Critical Java Level 2 Paradigm -- Safety and liveness -- Deciding Monadic Second Order Logic over omega-words by Specialized Finite Automata -- Property Preservation for Extension Patterns of State Transition Diagrams -- Symbolic Reachability Analysis of B through ProB and LTSmin -- Model learning -- Enhancing Automata Learning by Log-Based Metrics -- Refactoring of Legacy Software using Model Learning and Equivalence Checking: an Industrial Experience Report -- On Robust Malware Classifiers by Verifying Unwanted Behaviours -- SAT and SMT solving -- Efficient Deadlock-Freedom Checking using Local Analysis and SAT Solving -- SMT Solvers for Validation of B and Event-B models -- Avoiding Medication Conflicts for Patients with Multimorbidities -- Testing -- Temporal Random Testing for Spark Streaming -- Combining Static Analysis and Testing for Deadlock Detection -- Fuzzing JavaScript Engine APIs -- Theorem proving and constraint satisfaction -- A Component-based Approach to Hybrid Systems Safety Verification -- Verifying Pointer Programs using Separation Logic and Invariant Based Programming in Isabelle -- A Constraint Satisfaction Method for Configuring Non-Local Service Interfaces -- Case studies -- Rule-based Consistency Checking of Railway Infrastructure Designs -- Formal Verification of Safety PLC Based Control Software -- Enabling Static Driver Verifier using Microsoft Azure.This book constitutes the refereed proceedings of the 12th International Conference on Integrated Formal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016. The 33 papers presented in this volume were carefully reviewed and selected from 99 submissions. They were organized in topical sections named: invited contributions; program verification; probabilistic systems; concurrency; safety and liveness; model learning; SAT and SMT solving; testing; theorem proving and constraint satisfaction; case studies. .Programming and Software Engineering ;9681Software engineeringComputer logicProgramming languages (Electronic computers)Mathematical logicSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XProgramming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Software engineering.Computer logic.Programming languages (Electronic computers).Mathematical logic.Software Engineering.Logics and Meanings of Programs.Programming Languages, Compilers, Interpreters.Mathematical Logic and Formal Languages.004.0151Ábrahám Erikaedthttp://id.loc.gov/vocabulary/relators/edtHuisman Mariekeedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996465780903316Integrated Formal Methods772444UNISA06942nam 22006855 450 991076845580332120200701215324.03-540-39850-310.1007/b13235(CKB)1000000000212169(SSID)ssj0000323680(PQKBManifestationID)11247887(PQKBTitleCode)TC0000323680(PQKBWorkID)10300214(PQKB)11276711(DE-He213)978-3-540-39850-9(MiAaPQ)EBC3088470(PPN)155182536(EXLCZ)99100000000021216920121227d2003 u| 0engurnn|008mamaatxtccrGroupware: Design, Implementation, and Use 9th International Workshop, CRIWG 2003, Autrans, France, September 28 – October 2, 2003, Proceedings /edited by Jesus Favela, Dominique Decouchant1st ed. 2003.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2003.1 online resource (XII, 382 p. 854 illus.) Lecture Notes in Computer Science,0302-9743 ;2806Bibliographic Level Mode of Issuance: Monograph3-540-20117-3 Includes bibliographical references at the end of each chapters and index.Opening Keynote -- Enhancing Creativity with Groupware Toolkits -- Workspaces and Groupware Infrastructure -- MARS: Modelling Arenas to Regulate Collaborative Spaces -- Transparent Latecomer Support for Synchronous Groupware -- COVE: A Design and Implementation of Collaborative Object-Oriented Visualization Environment -- Tailoring -- Designing Tailorable Groupware for the Healthcare Domain -- Two-Level Tailoring Support for CSCL -- The Reciprocity Project. A P2P Meta-groupware Supporting Co-evolution and Reciprocity -- Symba: A Tailorable Framework to Support Collective Activities in a Learning Context -- Evaluating Groupware -- The Impacts of Awareness Tools on Mutual Modelling in a Collaborative Video-Game -- Perceived Value: A Low-Cost Approach to Evaluate Meetingware -- Exploring Interaction Behaviour and Performance of Online Collaborative Learning Teams -- Flexible Workflow -- A New Language to Support Flexible Failure Recovery for Workflow Management Systems -- Constraint-Based Flexible Workflows -- Workflow Recovery Framework for Exception Handling: Involving the User -- CSCL -- COW, a Flexible Platform for the Enactment of Learning Scenarios -- Competency Management for Group Formation on the AulaNet Learning Environment -- Dynamic Generation of Adaptive Web-Based Collaborative Courses -- Collaborative Authoring, Use, and Reuse of Learning Material in a Computer-Integrated Classroom -- Awareness -- Supporting Collaborative Drawing with the Mask Versioning Mechanism -- An Agent Framework to Support Opportunistic Collaboration -- Supporting Collaborative Processes -- Groupware Support for Cooperative Process Elicitation -- Improving the Use of Strategies in Computer-Supported Collaborative Processes -- Supporting Complex Decision Making Processes with Collaborative Applications – A Case Study -- Workflow Management Systems -- An Architecture for Supporting Disconnected Operation in Workflow: An XML-Based Approach -- Interoperability of Workflow Engines Based on Agents Using Semantics -- Context in Groupware -- A Conceptual Framework for Analyzing the Use of Context in Groupware -- Application Design Based on Work Ontology and an Agent Based Awareness Server -- Supporting Context-Aware Collaboration in a Hospital: An Ethnographic Informed Design -- Supporting Communities -- MADE – A Groupware Application to Support Real-Time Activities of Distributed and Cooperating Communities -- Collaborative Scenarios to Promote Positive Interdependence among Group Members -- Building Virtual Communities for Information Retrieval.This volume constitutes the proceedings of the 9th International Workshop on Groupware (CRIWG 2003). The conference was held in the city of Autrans, on the spectacular Vercors plateau in the foothills of the French Alps. The or- nizing committee could not have thought of a better setting to inspire lively discussions and re?ection on open issues facing the ?eld of groupware. The CRIWG workshops have been motivated by advances in Computer- Supported Cooperative Work, and by the need for CSCW to meet the challenges of new application areas. With this ninth meeting, CRIWG aimed to provide a forum for academic researchers and professionals to exchange their experiences and ideas about problems and solutions related to the design, development, and use of groupware applications. The selection of papers followed a strict refereeing process by a renowned international committee. We received 84 contributions with ?rst authors from 21 di?erent countries, from which 30 papers were selected to be presented and published in this proceedings volume. The papers in these proceedings include 18longpaperspresentingmatureworkand12shortpapersdescribingpromising work in progress in the ?eld. We thank all members of the Program Committee for their valuable reviews of the papers. In addition, we were pleased to have as invited speaker Prof. Saul Greenberg from the University of Calgary in Canada, a renowned specialist in Groupware and HCI. An extended abstract of his lecture is included in these proceedings.Lecture Notes in Computer Science,0302-9743 ;2806Computer networksUser interfaces (Computer systems)Education—Data processingComputers and civilizationComputer Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13022User Interfaces and Human Computer Interactionhttps://scigraph.springernature.com/ontologies/product-market-codes/I18067Computers and Educationhttps://scigraph.springernature.com/ontologies/product-market-codes/I24032Computers and Societyhttps://scigraph.springernature.com/ontologies/product-market-codes/I24040Computer networks.User interfaces (Computer systems)Education—Data processing.Computers and civilization.Computer Communication Networks.User Interfaces and Human Computer Interaction.Computers and Education.Computers and Society.370/.285Favela Jesusedthttp://id.loc.gov/vocabulary/relators/edtDecouchant Dominiqueedthttp://id.loc.gov/vocabulary/relators/edtInternational Workshop on GroupwareBOOK9910768455803321Groupware: Design, Implementation, and Use772092UNINA