Bøger i Programming and Software Engineering serien
-
- From Theory to Practice
1.245,95 kr. Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineering.
- Bog
- 1.245,95 kr.
-
- Bog
- 1.008,95 kr.
-
- 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings
952,95 kr. The conference focuses on all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.
- Bog
- 952,95 kr.
-
- ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10-13, 2016, Revised Selected Papers
725,95 kr. This book constitutes the revised selected papers of the scientific satellite events that were held in conjunction with the 14th International Conference on Service-Oriented Computing, ICSOC 2016, held in Banff, AB, Canada, in October 2016. The ICSOC 2016 workshop track consisted of three workshops on a wide range of topics that fall into the general area of service computing:ASOCA 2016: The rst Workshop on Adaptive Service-oriented and Cloud Applications ISyCC 2016: The rst Workshop on IoT Systems Provisioning & Management in Cloud Computing BSCI 2016: The Second International Workshop on Big Data Services and Computational Intelligence
- Bog
- 725,95 kr.
-
- 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings
748,95 kr. This book constitutes the thoroughly revised selected papers from the 14th International Conference on Formal Aspects of Component Software, FACS 2017, held in Braga, Portugal, in October 2017.
- Bog
- 748,95 kr.
-
- 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings
930,95 kr. This book constitutes the refereed proceedings of the 24th International Static Analysis Symposium, SAS 2017, held in New York, NY, USA, in August/September 2017.
- Bog
- 930,95 kr.
-
- 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings
549,95 kr. The 7 full papers and 5 short papers presented together with 4 challenge track and 2 students student track papers were carefully reviewed and selected from 26 submissions.
- Bog
- 549,95 kr.
-
- SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings
933,95 kr. - Bog
- 933,95 kr.
-
- 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017, Proceedings
829,95 kr. This book constitutes the proceedings of the 13th International Workshop on OpenMP, IWOMP 2017, held in Stony Brook, NY, USA, in September 2017. The 23 full papers presented in this volume were carefully reviewed and selected from 28 submissions. OpenMP Application Studies; OpenMP 4 Application Evaluation;
- Bog
- 829,95 kr.
-
- 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchatel, Switzerland, June 19-22, 2017, Proceedings
771,95 kr. This book constitutes the proceedings of the 19th International Conference on Coordination Models and Languages, COORDINATION 2017, held in Neuchâtel, Switzerland, in June 2017, as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017.The 13 full papers included in this volume were carefully reviewed and selected from 31 submissions. The papers cover a wide range of topics and techniques related to system coordination, including: languages and tools; types; resource, components and information flow; verification.
- Bog
- 771,95 kr.
-
- 4th International Workshop, RISK 2016, Held in Conjunction with ICTSS 2016, Graz, Austria, October 18, 2016, Revised Selected Papers
670,95 kr. This book constitutes the thoroughly refereed conference proceedings of the Fourth International Workshop on Risk Assessment and Risk-Driven Quality Assurance, RISK 2016, held in conjunction with ICTSS 2016, in Graz, Austria, in October 2016. The revised 9 full papers were carefully reviewed and selected from 11 submissions.
- Bog
- 670,95 kr.
-
- 13th International Conference, FACS 2016, Besancon, France, October 19-21, 2016, Revised Selected Papers
777,95 kr. This book constitutes the thoroughly revised selected papers from the 13th International Conference on Formal Aspects of Component Software, FACS 2016, held in Besancon, France, in October 2016.
- Bog
- 777,95 kr.
-
- 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings
561,95 kr. This book constitutes the proceedings of the 9th International Symposium on NASA Formal Methods, NFM 2017, held in Moffett Field, CA, USA, in May 2017. The 23 full and 8 short papers presented in this volume were carefully reviewed and selected from 77 submissions.
- Bog
- 561,95 kr.
-
- Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday
810,95 kr. This festschrift was written in honor of Andrew William (Bill) Roscoe on the occasion of his 60th birthday, and features tributes by Sir Tony Hoare, Stephen Brookes, and Michael Wooldridge. He is also world renowned for his pioneering work in analyzing security protocols, modeling information flow, human-interactive security, and much more.
- Bog
- 810,95 kr.
-
- 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings
719,95 kr. This book constitutes the proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages, PADL 2017, held in Paris, France, in January 2017 and collocated with the ACM SIGPLAN Symposium on Principles of Programming Languages.
- Bog
- 719,95 kr.
-
- Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 - 4, 2016, Revised Selected Papers
738,95 kr. This book constitutes the proceedings of the Third OpenSHMEM Workshop, held in Baltimore, MD, USA, in August 2016. This included active messages, non-blocking APIs, fault tolerance capabitlities, exploring implementation of OpenSHMEM using communication layers such as OFI and UCX and implementing OpenSHMEM for heterogeneous architectures.
- Bog
- 738,95 kr.
-
- 6th TPC Technology Conference, TPCTC 2014, Hangzhou, China, September 1--5, 2014. Revised Selected Papers
620,95 kr. This book constitutes the refereed post-conference proceedings of the 6th TPC Technology Conference, TPCTC 2014, held in Hangzhou, China, in September 2014.
- Bog
- 620,95 kr.
-
- 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings
719,95 kr. This book constitutes the refereed proceedings of the 12th International Haifa Verification Conference, HVC 2016, held in Haifa, Israel in November 2016.
- Bog
- 719,95 kr.
-
- Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings
738,95 kr. - Bog
- 738,95 kr.
-
- Confederated International Conferences: CoopIS, C&TC, and ODBASE 2016, Rhodes, Greece, October 24-28, 2016, Proceedings
1.060,95 kr. This volume constitutes the refereed proceedings of the Confederated International Conferences: Cooperative Information Systems, CoopIS 2016, Ontologies, Databases, and Applications of Semantics, ODBASE 2016, and Cloud and Trusted Computing, C&TC, held as part of OTM 2016 in October 2016 in Rhodes, Greece.The 45 full papers presented together with 16 short papers were carefully reviewed and selected from 133 submissions. The OTM program every year covers data and Web semantics, distributed objects, Web services, databases, information systems, enterprise workow and collaboration, ubiquity, interoperability, mobility,grid and high-performance computing.
- Bog
- 1.060,95 kr.
-
- 6th International Conference, MEDI 2016, Almeria, Spain, September 21-23, 2016, Proceedings
842,95 kr. This book constitutes the refereed proceedings of the 6th International Conference on Model and Data Engineering, MEDI 2016, held in Almeria, Spain, in September 2016. The 17 full papers and 10 short papers presented together with 2 invited talks were carefully reviewed and selected from 62 submissions.
- Bog
- 842,95 kr.
-
- 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings
764,95 kr. This book constitutes the proceedings of the 12th European Conference on Modelling Foundations and Applications, ECMFA 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016. The committee decided to accept 16 papers, 12 papers for the Foundations Track and 4 papers for the Applications Track.
- Bog
- 764,95 kr.
-
- 22nd International Working Conference, REFSQ 2016, Gothenburg, Sweden, March 14-17, 2016, Proceedings
806,95 kr. This bookconstitutes the proceedings of the 22nd International Working Conference onRequirements Engineering - Foundation for Software Quality, REFSQ 2016, held inGothenburg, Sweden, in March 2016. The papers were organized in topicalsections named: decision making in requirements engineering; open source inrequirements engineering;
- Bog
- 806,95 kr.
-
- First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures
810,95 kr. This volume contains the lecture notes of the five coursesand one seminar given at the School on Engineering Trustworthy Software Systems(SETSS 2014), held in September 2014 at Southwest University in Chongqing,China.The material is useful for postgraduate students,researchers, academics and industrial engineers who are interested in thetheory and practice of methods and tools for the design and programming oftrustworthy software systems. The common themes of the courses include thedesign and use of theories, techniques and tools for software specification andmodeling, analysis and verification. The courses cover sequential programming,component- and object software, hybrid systems and cyber-physical systems withchallenges of termination, security, safety, security, fault-tolerance andreal-time requirements. The techniques include model checking, correctness byconstruction through refinement and model transformations, synthesis andcomputer algebra.
- Bog
- 810,95 kr.
-
- 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings
456,95 kr. This book constitutes the refereed proceedings of the18th International Symposium on Practical Aspects of Declarative Languages,PADL 2016, held in St. Petersburg, FL, USA, in January 2016. The 11 revised papers presented were carefully reviewedand selected from 17 initial submissions for inclusion in the book.
- Bog
- 456,95 kr.
-
- 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings
969,95 kr. This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October 2015. The 27 revised papers presented together with 6 tool papers in this volume were carefully reviewed and selected from 95 submissions.
- Bog
- 969,95 kr.
-
- 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings
568,95 kr. This book constitutes the proceedings of the 19th Brazilian Symposium on Progamming Languages, SBLP 2015, held in Belo Horizonte, Brazil, in September 2015. They deal with fundamental principles and innovations in the design and implementation of programming languages and systems.
- Bog
- 568,95 kr.
-
- 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings
722,95 kr. This book constitutes the refereed proceedings of the 9th International Conference on Tests and Proofs, TAP 2015, held in L` Aquila, Italy, in July 2015, as part of the STAF 2015 Federated Conferences. The 11 revised full papers and 1 short papers presented together with 3 invited talks were carefully reviewed and selected from 21 submissions.
- Bog
- 722,95 kr.
-
- 8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings
549,95 kr. This book constitutes the refereed proceedings of the 8th International Conference on Model Transformation, ICMT 2015, held in L'Aquila, Italy, in July 2015, as Part of STAF 2015, the federation of a number of the leading conferences on software technologies. new paradigms for model transformation; and foundations of model transformation.
- Bog
- 549,95 kr.
-
- 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings
732,95 kr. This book constitutes the refereed proceedings of the 20th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2015, held in Madrid, Spain, in June 2015. The revised 12 full papers presented together with two keynotes were carefully reviewed and selected from 36 submissions.
- Bog
- 732,95 kr.