Author: Béatrix Barafort
Publisher: Springer
ISBN: 3662438968
Category : Business & Economics
Languages : en
Pages : 348
Book Description
This volume constitutes the refereed proceedings of the 21st EuroSPI conference, held in Luxembourg, in June 2014. The 18 revised papers presented together with 11 invited papers in this volume were carefully reviewed and selected. They are organized in topical sections on SPI and very small entities; process improvement frameworks; testing and improvement issues; SPI and people issues; SPI and quality issues; software processes in various contexts. The volume also contains selected keynote papers from EuroSPI workshops and invited papers covering the topic of creating environments supporting innovation and improvement.
Systems, Software and Services Process Improvement
Author: Béatrix Barafort
Publisher: Springer
ISBN: 3662438968
Category : Business & Economics
Languages : en
Pages : 348
Book Description
This volume constitutes the refereed proceedings of the 21st EuroSPI conference, held in Luxembourg, in June 2014. The 18 revised papers presented together with 11 invited papers in this volume were carefully reviewed and selected. They are organized in topical sections on SPI and very small entities; process improvement frameworks; testing and improvement issues; SPI and people issues; SPI and quality issues; software processes in various contexts. The volume also contains selected keynote papers from EuroSPI workshops and invited papers covering the topic of creating environments supporting innovation and improvement.
Publisher: Springer
ISBN: 3662438968
Category : Business & Economics
Languages : en
Pages : 348
Book Description
This volume constitutes the refereed proceedings of the 21st EuroSPI conference, held in Luxembourg, in June 2014. The 18 revised papers presented together with 11 invited papers in this volume were carefully reviewed and selected. They are organized in topical sections on SPI and very small entities; process improvement frameworks; testing and improvement issues; SPI and people issues; SPI and quality issues; software processes in various contexts. The volume also contains selected keynote papers from EuroSPI workshops and invited papers covering the topic of creating environments supporting innovation and improvement.
Report
Author: United States. Columbia Accident Investigation Board
Publisher:
ISBN:
Category : Government publications
Languages : en
Pages : 252
Book Description
Publisher:
ISBN:
Category : Government publications
Languages : en
Pages : 252
Book Description
Fundamental Approaches to Software Engineering
Author: Alessandra Russo
Publisher: Springer
ISBN: 3319893637
Category : Computers
Languages : en
Pages : 361
Book Description
This book is Open Access under a CC BY licence. This book constitutes the proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering, FASE 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 19 papers presented in this volume were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections named: model-based software development; distributed program and system analysis; software design and verification; specification and program testing; family-based software development.
Publisher: Springer
ISBN: 3319893637
Category : Computers
Languages : en
Pages : 361
Book Description
This book is Open Access under a CC BY licence. This book constitutes the proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering, FASE 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 19 papers presented in this volume were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections named: model-based software development; distributed program and system analysis; software design and verification; specification and program testing; family-based software development.
Scientific and Technical Aerospace Reports
Author:
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 652
Book Description
Lists citations with abstracts for aerospace related reports obtained from world wide sources and announces documents that have recently been entered into the NASA Scientific and Technical Information Database.
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 652
Book Description
Lists citations with abstracts for aerospace related reports obtained from world wide sources and announces documents that have recently been entered into the NASA Scientific and Technical Information Database.
Protecting Our Financial Infrastructure
Author: United States. Congress. House. Committee on Financial Services
Publisher:
ISBN:
Category : Business & Economics
Languages : en
Pages : 164
Book Description
Publisher:
ISBN:
Category : Business & Economics
Languages : en
Pages : 164
Book Description
InfoWorld
Author:
Publisher:
ISBN:
Category :
Languages : en
Pages : 72
Book Description
InfoWorld is targeted to Senior IT professionals. Content is segmented into Channels and Topic Centers. InfoWorld also celebrates people, companies, and projects.
Publisher:
ISBN:
Category :
Languages : en
Pages : 72
Book Description
InfoWorld is targeted to Senior IT professionals. Content is segmented into Channels and Topic Centers. InfoWorld also celebrates people, companies, and projects.
Transactions on Aspect-Oriented Software Development IV
Author: Awais Rashid
Publisher: Springer
ISBN: 3540770429
Category : Computers
Languages : en
Pages : 200
Book Description
The LNCS Journal Transactions on Aspect-Oriented Software Development is devoted to all facets of aspect-oriented software development (AOSD) techniques in the context of all phases of the software life cycle, from requirements and design to implementation, maintenance and evolution. The papers, which focus on mapping of early aspects across the software lifecycle, and aspects and software evolution, have passed through a careful peer reviewing process.
Publisher: Springer
ISBN: 3540770429
Category : Computers
Languages : en
Pages : 200
Book Description
The LNCS Journal Transactions on Aspect-Oriented Software Development is devoted to all facets of aspect-oriented software development (AOSD) techniques in the context of all phases of the software life cycle, from requirements and design to implementation, maintenance and evolution. The papers, which focus on mapping of early aspects across the software lifecycle, and aspects and software evolution, have passed through a careful peer reviewing process.
Computer Aided Verification
Author: Ganesh Gopalakrishnan
Publisher: Springer Science & Business Media
ISBN: 3642221092
Category : Computers
Languages : en
Pages : 778
Book Description
This book constitutes the refereed proceedings of the 23rd International Conference on Computer Aided Verification, CAV 2011, held in Snowbird, UT, USA, in July 2011. The 35 revised full papers presented together with 20 tool papers were carefully reviewed and selected from 161 submissions. The papers are organized in topical sections on the following workshops: 4th International Workshop on Numerical Software Verification (NSV 2011), 10th International Workshop on Parallel and Distributed Methods in Verifications (PDMC 2011), 4th International Workshop on Exploiting Concurrency Efficiently and Correctly (EC2 2011), Frontiers in Analog Circuit Synthesis and Verification (FAC 2011), International Workshop on Satisfiability Modulo Theories, including SMTCOMP (SMT 2011), 18th International SPIN Workshop on Model Checking of Software (SPIN 2011), Formal Methods for Robotics and Automation (FM-R 2011), and Practical Synthesis for Concurrent Systems (PSY 2011).
Publisher: Springer Science & Business Media
ISBN: 3642221092
Category : Computers
Languages : en
Pages : 778
Book Description
This book constitutes the refereed proceedings of the 23rd International Conference on Computer Aided Verification, CAV 2011, held in Snowbird, UT, USA, in July 2011. The 35 revised full papers presented together with 20 tool papers were carefully reviewed and selected from 161 submissions. The papers are organized in topical sections on the following workshops: 4th International Workshop on Numerical Software Verification (NSV 2011), 10th International Workshop on Parallel and Distributed Methods in Verifications (PDMC 2011), 4th International Workshop on Exploiting Concurrency Efficiently and Correctly (EC2 2011), Frontiers in Analog Circuit Synthesis and Verification (FAC 2011), International Workshop on Satisfiability Modulo Theories, including SMTCOMP (SMT 2011), 18th International SPIN Workshop on Model Checking of Software (SPIN 2011), Formal Methods for Robotics and Automation (FM-R 2011), and Practical Synthesis for Concurrent Systems (PSY 2011).
PC Mag
Author:
Publisher:
ISBN:
Category :
Languages : en
Pages : 374
Book Description
PCMag.com is a leading authority on technology, delivering Labs-based, independent reviews of the latest products and services. Our expert industry analysis and practical solutions help you make better buying decisions and get more from technology.
Publisher:
ISBN:
Category :
Languages : en
Pages : 374
Book Description
PCMag.com is a leading authority on technology, delivering Labs-based, independent reviews of the latest products and services. Our expert industry analysis and practical solutions help you make better buying decisions and get more from technology.
A Delicate Balance
Author: United States. Congress. Senate. Special Committee on Aging
Publisher:
ISBN:
Category : Business & Economics
Languages : en
Pages : 208
Book Description
Publisher:
ISBN:
Category : Business & Economics
Languages : en
Pages : 208
Book Description