this book constitutes the refereed proceedings of the 9thinternationalsymposium on Search-Based Software Engineering, SSBSE 2017, held in Paderborn, Germany, in September 2017.;the 7 full papers and 5 short paper...
详细信息
ISBN:
(数字)9783319662992
ISBN:
(纸本)9783319662985
this book constitutes the refereed proceedings of the 9thinternationalsymposium on Search-Based Software Engineering, SSBSE 2017, held in Paderborn, Germany, in September 2017.;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.;SSBSE welcomes not only applications from throughout the software engineering lifecycle but also a broad range of search methods;ranging from exact Operational Research techniques to nature-inspired algorithms and simulated annealing.
this book constitutes the refereed proceedings of the 9th Asian symposium on programming Languages and Systems, APLAS 2011, held in Kenting, Taiwan, in December 2011. the 22 revised full papers presented together with...
详细信息
ISBN:
(数字)9783642253188
ISBN:
(纸本)9783642253171
this book constitutes the refereed proceedings of the 9th Asian symposium on programming Languages and Systems, APLAS 2011, held in Kenting, Taiwan, in December 2011. the 22 revised full papers presented together with 4 invited talks and one system and tool presentations were carefully reviewed and selected from 64 submissions. the papers are organized in topical sections on program analysis; functionalprogramming; compiler; concurrency; semantics; as well as certification and logic.
this book constitutes the proceedings of the 9thinternationalsymposium 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...
详细信息
ISBN:
(数字)9783319572888
ISBN:
(纸本)9783319572871
this book constitutes the proceedings of the 9thinternationalsymposium 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. the papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.
this book constitutes the revised selected papers of the 9thinternationalsymposium on Formal Aspects of Component Software, FACS 2012, held in Mountain View, CA, USA in September 2012. the 16 full papers presented w...
详细信息
ISBN:
(数字)9783642358616
ISBN:
(纸本)9783642358609
this book constitutes the revised selected papers of the 9thinternationalsymposium on Formal Aspects of Component Software, FACS 2012, held in Mountain View, CA, USA in September 2012. the 16 full papers presented were carefully reviewed and selected from 40 submissions. they cover topics such as formal models for software components and their interaction; formal aspects of services, service oriented architectures, business processes, and cloud computing; design and verification methods for software components and services; composition and deployment: models, calculi, languages; formal methods and modeling languages for components and services; model based and GUI based testing of components and services; models for QoS and other extra-functional properties (e.g., trust, compliance, security) of components and services; components for real-time, safety-critical, secure, and/or embedded systems; industrial or experience reports and case studies; update and reconfiguration of component and service architectures; component systems evolution and maintenance; autonomic components and self-managed applications; formal and rigorous approaches to software adaptation and self-adaptive systems.
this book constitutes the refereed conference proceedings of the 20thinternational Workshop on functional and Constraint logicprogramming, WFLP 2011, held in Odense, Denmark, in July 2011 as Part of the 13th Interna...
详细信息
ISBN:
(数字)9783642225314
ISBN:
(纸本)9783642225307
this book constitutes the refereed conference proceedings of the 20thinternational Workshop on functional and Constraint logicprogramming, WFLP 2011, held in Odense, Denmark, in July 2011 as Part of the 13thinternationalsymposium on Principles and Practice of Declarative programming (PPDP 2011), the 22st internationalsymposium on logic-Based Program Synthesis and Transformation (LOPSTR 2011), and the 4thinternational Workshop on Approaches and Applications of Inductive programming (AAIP 2011).
From the 10 papers submitted, 9 were accepted for presentation the proceeding. the papers cover current research in all areas of functional and logicprogramming as well as the integration of constraint logic and object-oriented programming, and term rewriting.
this volume constitutes the refereed proceedings of the 9thinternationalsymposium on programming Languages, Implementations, logics and Programs, PLILP 9;97, held in Southampton, UK, in September 1997, including ...
详细信息
ISBN:
(数字)9783540695370
ISBN:
(纸本)9783540633983
this volume constitutes the refereed proceedings of the 9thinternationalsymposium on programming Languages, Implementations, logics and Programs, PLILP '97, held in Southampton, UK, in September 1997, including a special track on Declarative programming in Education.;the volume presents 25 revised full papers selected from 68 submissions. Also included are one invited paper and three posters. the papers are devoted to exploring the relation between implementation techniques, the logic of the languages, and the use of the languages in construcing real programs. Topics of interest include implementation of declarative concepts, integration of paradigms, program analysis and transformation, programming environments, executable specifications, reasoning about language constructs, etc.
this book constitutes the refereed proceedings of the 9thinternational Joint Conference on Automated Reasoning, IJCAR 2018, held in Oxford, United Kingdom, in July 2018, as part of the Federated logic Conference, FLo...
详细信息
ISBN:
(数字)9783319942056
ISBN:
(纸本)9783319942049
this book constitutes the refereed proceedings of the 9thinternational Joint Conference on Automated Reasoning, IJCAR 2018, held in Oxford, United Kingdom, in July 2018, as part of the Federated logic Conference, FLoC 2018. In 2018, IJCAR unites CADE, TABLEAUX, and FroCoS, the internationalsymposium on Frontiers of Combining Systems, and, for the fourth time, is part of the Federated logic Conference.;the 38 revised full research papers and 8 system descriptions presented together with two invited talks were carefully reviewed and selected from 108 submissions. the papers focus on topics such as logics, deductive systems, proof-search methods, theorem proving, model checking, verification, formal methods, and program analysis.
暂无评论