This book constitutes the refereed proceedings of the 50th International Conference on Objects, Models, Components, Patterns, TOOLS Europe 2012, held in Prague, Czech Republic, during May 29-31,2012. The 24 revised fu...
详细信息
ISBN:
(数字)9783642305610
ISBN:
(纸本)9783642305603
This book constitutes the refereed proceedings of the 50th International Conference on Objects, Models, Components, Patterns, TOOLS Europe 2012, held in Prague, Czech Republic, during May 29-31,2012. The 24 revised full papers presented were carefully reviewed and selected from 77 submissions. The papers discuss all aspects of object technology and related fields and demonstrate practical applications backed up by formal analysis and thorough experimental evaluation. In particular, every topic in advanced software technology is adressed the scope of TOOLS.
This book constitutes the refereed proceedings of the 15th International Conference on Formal Engineering Methods, ICFEM 2013, held in Queenstown, New Zealand, in October/November 2013. The 28 revised full papers toge...
详细信息
ISBN:
(数字)9783642412028
ISBN:
(纸本)9783642412011
This book constitutes the refereed proceedings of the 15th International Conference on Formal Engineering Methods, ICFEM 2013, held in Queenstown, New Zealand, in October/November 2013. The 28 revised full papers together with 2 keynote speeches presented were carefully reviewed and selected from 88 submissions. The topics covered are abstraction and refinement, formal specification and modeling, program analysis, software verification, formal methods for software safety, security, reliability and dependability, tool development, integration and experiments involving verified systems, formal methods used in certifying products under international standards, and formal model-based development and code generation.
You will also learn how to set up a better workflow for editor scripting, asset publishing, maintenance, and iterative updates. You will leverage the power of modern web technology to build a documentation site with G...
详细信息
ISBN:
(数字)9781484271674
ISBN:
(纸本)9781484271667
You will also learn how to set up a better workflow for editor scripting, asset publishing, maintenance, and iterative updates. You will leverage the power of modern web technology to build a documentation site with GitBook and DocFX. Finally, you will see some tips and tricks for automating asset versioning and changelogs.
This book constitutes the refereed proceedings of the 19th International Conference on Product-Focused Software Process Improvement, PROFES 2018, held in Wolfsburg, Germany, in November 2018.;The 16 revised full paper...
详细信息
ISBN:
(数字)9783030036737
ISBN:
(纸本)9783030036720
This book constitutes the refereed proceedings of the 19th International Conference on Product-Focused Software Process Improvement, PROFES 2018, held in Wolfsburg, Germany, in November 2018.;The 16 revised full papers and 8 short papers presented together with 10 workshop papers and 2 industry talks were carefully reviewed and selected from 65 submissions. The papers are organized in the following topical sections: processes and methods; empirical studies in industry; testing; measuremene and monitoring; and global software engineering and scaling. Further relevant topics were added by the events co-located with PROFES 2018, the Second International Workshop on Managing Quality in Agile and Rapid Software Development Processes (QUASD) and the Third Workshop on Hybrid Software and System Development Approaches (HELENA).
This book constitutes the thoroughly refereed post-workshop proceedings of the International Workshop on Coordination, Organization, Institutions and Norms in Agent Systems, COIN 2008, held as two events at AAMAS 2008...
详细信息
ISBN:
(数字)9783642004438
ISBN:
(纸本)9783642004421
This book constitutes the thoroughly refereed post-workshop proceedings of the International Workshop on Coordination, Organization, Institutions and Norms in Agent Systems, COIN 2008, held as two events at AAMAS 2008, the 7th International Joint Conference on Autonomous Agents and Multiagent Systems in Estoril, Portugal, in May 2008 and at AAAI 2008, the 23rd AAAI Conference on Artificial Intelligence in Chicago, IL, USA, in July 2008. This volume is the 4th in a series focussing on issues in Coordination, Organizations, Institutions and Norms (COIN) in multi-agent systems. The 17 papers contained in this volume are the revised and extended versions of a selection of papers presented and discussed in these two workshops. The papers are organized in the following topical sections: from coordination to organization, from organization to coordination, formalization of norms and institutions, design of norms and institutions, as well as applications.
The Annual (ICGS) International Conference is an established platform in which se- rity, safety and sustainability issues can be examined from several global perspectives through dialogue between academics, students, ...
详细信息
ISBN:
(数字)9783642040627
ISBN:
(纸本)9783642040610
The Annual (ICGS) International Conference is an established platform in which se- rity, safety and sustainability issues can be examined from several global perspectives through dialogue between academics, students, government representatives, chief executives, security professionals, and research scientists from the United Kingdom and from around the globe. The 2009 two-day conference focused on the challenges of complexity, rapid pace of change and risk/opportunity issues associated with modern products, systems, s- cial events and infrastructures. The importance of adopting systematic and systemic approaches to the assurance of these systems was emphasized within a special stream focused on strategic frameworks, architectures and human factors. The conference provided an opportunity for systems scientists, assurance researchers, owners, ope- tors and maintainers of large, complex and advanced systems and infrastructures to update their knowledge with the state of best practice in these challenging domains while networking with the leading researchers and solution providers. ICGS3 2009 received paper submissions from more than 20 different countries around the world. Only 28 papers were selected and were presented as full papers. The program also included three keynote lectures by leading researchers, security professionals and government representatives. June 2009 Hamid Jahankhani Ali Hessami Feng Hsu
暂无评论