Author: Jan Bosch
Publisher: Springer Science & Business Media
ISBN: 3540223355
Category : Business & Economics
Languages : en
Pages : 349
Book Description
This book constitutes the refereed proceedings of the 8th International Conference on Software Reuse, ICSR-8, held in Madrid, Spain in July 2004. The 28 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on software variability: requirements; testing reusable software; feature modeling; aspect-oriented software development; component and service development; code level reuse; libraries, classification, and retrieval; model-based approaches; transformation and generation; and requirements.
Software Reuse: Methods, Techniques, and Tools
Author: Jan Bosch
Publisher: Springer Science & Business Media
ISBN: 3540223355
Category : Business & Economics
Languages : en
Pages : 349
Book Description
This book constitutes the refereed proceedings of the 8th International Conference on Software Reuse, ICSR-8, held in Madrid, Spain in July 2004. The 28 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on software variability: requirements; testing reusable software; feature modeling; aspect-oriented software development; component and service development; code level reuse; libraries, classification, and retrieval; model-based approaches; transformation and generation; and requirements.
Publisher: Springer Science & Business Media
ISBN: 3540223355
Category : Business & Economics
Languages : en
Pages : 349
Book Description
This book constitutes the refereed proceedings of the 8th International Conference on Software Reuse, ICSR-8, held in Madrid, Spain in July 2004. The 28 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on software variability: requirements; testing reusable software; feature modeling; aspect-oriented software development; component and service development; code level reuse; libraries, classification, and retrieval; model-based approaches; transformation and generation; and requirements.
Tools and Methods of Program Analysis
Author: Anna Kalenkova
Publisher: Springer Nature
ISBN: 3030714721
Category : Computers
Languages : en
Pages : 216
Book Description
This book constitutes the refereed proceedings of the 5th International Conference on Tools and Methods for Program Analysis, TMPA 2019, held in Tbilisi, Georgia, in November 2019. The 14 revised full papers and 2 revised short papers presented together with one keynote paper were carefully reviewed and selected from 41 submissions. The papers deal with topics such as software test automation, static program analysis, verification, dynamic methods of program analysis, testing and analysis of parallel and distributed systems, testing and analysis of high-load and high-availability systems, analysis and verification of hardware and software systems, methods of building quality software, tools for software analysis, testing and verification.
Publisher: Springer Nature
ISBN: 3030714721
Category : Computers
Languages : en
Pages : 216
Book Description
This book constitutes the refereed proceedings of the 5th International Conference on Tools and Methods for Program Analysis, TMPA 2019, held in Tbilisi, Georgia, in November 2019. The 14 revised full papers and 2 revised short papers presented together with one keynote paper were carefully reviewed and selected from 41 submissions. The papers deal with topics such as software test automation, static program analysis, verification, dynamic methods of program analysis, testing and analysis of parallel and distributed systems, testing and analysis of high-load and high-availability systems, analysis and verification of hardware and software systems, methods of building quality software, tools for software analysis, testing and verification.
Tools and Methods of Program Analysis
Author: Vladimir Itsykson
Publisher: Springer
ISBN: 3319717340
Category : Computers
Languages : en
Pages : 225
Book Description
This book constitutes the refereed proceedings of the 4th International Conference on Tools and Methods for Program Analysis, TMPA 2017, Moscow, Russia, March 3-4, 2017. The 12 revised full papers and 5 revised short papers presented together with three abstracts of keynote talks were carefully reviewed and selected from 51 submissions. The papers deal with topics such as software test automation, static program analysis, verification, dynamic methods of program analysis, testing and analysis of parallel and distributed systems, testing and analysis of high-load and high-availability systems, analysis and verification of hardware and software systems, methods of building quality software, tools for software analysis, testing and verification.
Publisher: Springer
ISBN: 3319717340
Category : Computers
Languages : en
Pages : 225
Book Description
This book constitutes the refereed proceedings of the 4th International Conference on Tools and Methods for Program Analysis, TMPA 2017, Moscow, Russia, March 3-4, 2017. The 12 revised full papers and 5 revised short papers presented together with three abstracts of keynote talks were carefully reviewed and selected from 51 submissions. The papers deal with topics such as software test automation, static program analysis, verification, dynamic methods of program analysis, testing and analysis of parallel and distributed systems, testing and analysis of high-load and high-availability systems, analysis and verification of hardware and software systems, methods of building quality software, tools for software analysis, testing and verification.
Software Engineering for Manufacturing Systems
Author: A. Storr
Publisher: Springer Science & Business Media
ISBN: 9780412784606
Category : Technology & Engineering
Languages : en
Pages : 216
Book Description
Software has become a decisive cost and time factor in regard to developing and establishing manufacturing systems and setting them into operation. In addition, software determines the availability, reliability as well as functionality of manufacturing units. Software Engineering for Manufacturing Systems considers the methods and procedures required to deal with problems in the software engineering of control technology for manufacturing systems. Significantly, the following topics are addressed: * definitions and requirements of software for control technology * system design, describing forms of control software * CASE tools for the generation of a code * configuration, adaption of standard software variants, and re-usability of software * and man-machine interface. It contains the selected proceedings of the International Conference on Software Engineering and Case Tools for Control Technology of Manufacturing Systems, sponsored by the IFIP and held in Germany, in March 1996.
Publisher: Springer Science & Business Media
ISBN: 9780412784606
Category : Technology & Engineering
Languages : en
Pages : 216
Book Description
Software has become a decisive cost and time factor in regard to developing and establishing manufacturing systems and setting them into operation. In addition, software determines the availability, reliability as well as functionality of manufacturing units. Software Engineering for Manufacturing Systems considers the methods and procedures required to deal with problems in the software engineering of control technology for manufacturing systems. Significantly, the following topics are addressed: * definitions and requirements of software for control technology * system design, describing forms of control software * CASE tools for the generation of a code * configuration, adaption of standard software variants, and re-usability of software * and man-machine interface. It contains the selected proceedings of the International Conference on Software Engineering and Case Tools for Control Technology of Manufacturing Systems, sponsored by the IFIP and held in Germany, in March 1996.
2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE).
Author: Laura Dillon
Publisher:
ISBN:
Category :
Languages : en
Pages :
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages :
Book Description
New Trends in Software Methodologies, Tools and Techniques
Author: Hamido Fujita
Publisher: IOS Press
ISBN: 9781586032883
Category : Computers
Languages : en
Pages : 422
Book Description
Annotation. The Lyee International Workshop (Lyee-W02) is a means for presenting the results of the Lyee International research project, oriented for new software generation techniques based on Lyee technologies. Lyee-W02 will help to build a forum for exchanging ideas and experiences in the field of new directions on software development methodologies and its tools and techniques. Lyee methodology captures the essence of the innovations, controversies, challenges, and possible solutions of the software industry. This theory is born from experience and it is the time to stimulate the academic research on software science initiated from experience to theory through this workshop and its coming series.
Publisher: IOS Press
ISBN: 9781586032883
Category : Computers
Languages : en
Pages : 422
Book Description
Annotation. The Lyee International Workshop (Lyee-W02) is a means for presenting the results of the Lyee International research project, oriented for new software generation techniques based on Lyee technologies. Lyee-W02 will help to build a forum for exchanging ideas and experiences in the field of new directions on software development methodologies and its tools and techniques. Lyee methodology captures the essence of the innovations, controversies, challenges, and possible solutions of the software industry. This theory is born from experience and it is the time to stimulate the academic research on software science initiated from experience to theory through this workshop and its coming series.
Software Quality: The Complexity and Challenges of Software Engineering and Software Quality in the Cloud
Author: Dietmar Winkler
Publisher: Springer
ISBN: 3030057674
Category : Computers
Languages : en
Pages : 176
Book Description
This book constitutes the refereed proceedings of the 11th Software Quality Days Conference, SWQD 2019, held in Vienna, Austria, in January 2019. The Software Quality Days (SWQD) conference started in 2009 and has grown to the biggest conference on software quality in Europe with a strong community. The program of the SWQD conference is designed to encompass a stimulating mixture of practical presentations and new research topics in scientific presentations. The guiding conference topic of the SWQD 2019 is “The Complexity and Challenges of Software Engineering and Software Quality in the Cloud”. The 5 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 17 submissions. The volume also contains 2 invited talks. The contributions were organized in topical sections named: multi-disciplinary systems and software engineering; software quality and process improvement; software testing; knowledge engineering and machine learning; source code analysis; and software maintenance.
Publisher: Springer
ISBN: 3030057674
Category : Computers
Languages : en
Pages : 176
Book Description
This book constitutes the refereed proceedings of the 11th Software Quality Days Conference, SWQD 2019, held in Vienna, Austria, in January 2019. The Software Quality Days (SWQD) conference started in 2009 and has grown to the biggest conference on software quality in Europe with a strong community. The program of the SWQD conference is designed to encompass a stimulating mixture of practical presentations and new research topics in scientific presentations. The guiding conference topic of the SWQD 2019 is “The Complexity and Challenges of Software Engineering and Software Quality in the Cloud”. The 5 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 17 submissions. The volume also contains 2 invited talks. The contributions were organized in topical sections named: multi-disciplinary systems and software engineering; software quality and process improvement; software testing; knowledge engineering and machine learning; source code analysis; and software maintenance.
Advances in Computers
Author: Marvin Zelkowitz
Publisher: Academic Press
ISBN: 0123810280
Category : Computers
Languages : en
Pages : 348
Book Description
This is volume 79 of Advances in Computers. This series, which began publication in 1960, is the oldest continuously published anthology that chronicles the ever- changing information technology field. In these volumes we publish from 5 to 7 chapters, three times per year, that cover the latest changes to the design, development, use and implications of computer technology on society today. - Covers the full breadth of innovations in hardware, software, theory, design, and applications - Many of the in-depth reviews have become standard references that continue to be of significant, lasting value in this rapidly expanding field
Publisher: Academic Press
ISBN: 0123810280
Category : Computers
Languages : en
Pages : 348
Book Description
This is volume 79 of Advances in Computers. This series, which began publication in 1960, is the oldest continuously published anthology that chronicles the ever- changing information technology field. In these volumes we publish from 5 to 7 chapters, three times per year, that cover the latest changes to the design, development, use and implications of computer technology on society today. - Covers the full breadth of innovations in hardware, software, theory, design, and applications - Many of the in-depth reviews have become standard references that continue to be of significant, lasting value in this rapidly expanding field
Grid and Cooperative Computing
Author: Minglu Li
Publisher: Springer
ISBN: 3540246800
Category : Computers
Languages : en
Pages : 1114
Book Description
Grid and cooperative computing has emerged as a new frontier of information tech- logy. It aims to share and coordinate distributed and heterogeneous network resources forbetterperformanceandfunctionalitythatcanotherwisenotbeachieved.Thisvolume contains the papers presented at the 2nd International Workshop on Grid and Coope- tive Computing, GCC 2003, which was held in Shanghai, P.R. China, during December 7–10, 2003. GCC is designed to serve as a forum to present current and future work as well as to exchange research ideas among researchers, developers, practitioners, and usersinGridcomputing,Webservicesandcooperativecomputing,includingtheoryand applications. For this workshop, we received over 550 paper submissions from 22 countries and regions. All the papers were peer-reviewed in depth and qualitatively graded on their relevance, originality, signi?cance, presentation, and the overall appropriateness of their acceptance. Any concerns raised were discussed by the program committee. The or- nizing committee selected 176 papers for conference presentation (full papers) and 173 submissions for poster presentation (short papers).The papers included herein represent the forefront of research from China, USA, UK, Canada, Switzerland, Japan, Aust- lia, India, Korea, Singapore, Brazil, Norway, Greece, Iran, Turkey, Oman, Pakistan and other countries. More than 600 attendees participated in the technical section and the exhibition of the workshop.
Publisher: Springer
ISBN: 3540246800
Category : Computers
Languages : en
Pages : 1114
Book Description
Grid and cooperative computing has emerged as a new frontier of information tech- logy. It aims to share and coordinate distributed and heterogeneous network resources forbetterperformanceandfunctionalitythatcanotherwisenotbeachieved.Thisvolume contains the papers presented at the 2nd International Workshop on Grid and Coope- tive Computing, GCC 2003, which was held in Shanghai, P.R. China, during December 7–10, 2003. GCC is designed to serve as a forum to present current and future work as well as to exchange research ideas among researchers, developers, practitioners, and usersinGridcomputing,Webservicesandcooperativecomputing,includingtheoryand applications. For this workshop, we received over 550 paper submissions from 22 countries and regions. All the papers were peer-reviewed in depth and qualitatively graded on their relevance, originality, signi?cance, presentation, and the overall appropriateness of their acceptance. Any concerns raised were discussed by the program committee. The or- nizing committee selected 176 papers for conference presentation (full papers) and 173 submissions for poster presentation (short papers).The papers included herein represent the forefront of research from China, USA, UK, Canada, Switzerland, Japan, Aust- lia, India, Korea, Singapore, Brazil, Norway, Greece, Iran, Turkey, Oman, Pakistan and other countries. More than 600 attendees participated in the technical section and the exhibition of the workshop.
NBS Special Publication
Author:
Publisher:
ISBN:
Category : Weights and measures
Languages : en
Pages : 76
Book Description
Publisher:
ISBN:
Category : Weights and measures
Languages : en
Pages : 76
Book Description