The Pernambuco School on Software Engineering (PSSE) 2007 was the second in a series of events devoted to the study of advanced computer science and to the promotion of international scienti?c collaboration. The main ...
详细信息
ISBN:
(数字)9783642143359
ISBN:
(纸本)9783642143342
The Pernambuco School on Software Engineering (PSSE) 2007 was the second in a series of events devoted to the study of advanced computer science and to the promotion of international scienti?c collaboration. The main theme in 2007 was testing. Testing is nowadays a key activity for assuring software quality. The summer school and its proceedings were intended to give a detailed tutorial introduction to the scienti?c basis of this activity and its state of the art. *** thechaptersistheresultofathoroughrevisionoftheinitialnotesprovidedtothe participants of the school. The revision was inspired by the synergy generated by the opportunity for the lecturers to present and discuss their work among themselves and with the school’s attendees. The editors have tried to produce a coherent view of the topic by harmonizing these contributions, smoothing out di?erences in notation and approach, and providing links between the lectures. We apologize to the authors for any errors introduced by our extensive editing. Although the chapters are linked in severalways, each one is su?ciently se- contained to be read in isolation. Nevertheless, Chap. 1 should be read ?rst by those interested in an introduction to testing. Chapter 1 introduces the terminology adopted in this book. It also provides an overview of the testing process, and of the types (functional, structural, and so on)anddimensions(unit,integration,andsoon)*** strategies employed in the central activity of test selection are also discussed. Most of the material presented in this introductory chapter is addressedin more depth in the following chapters.
Discover the fundamental concepts of object-relational mapping (ORM) design, Aurelius’ basic features, and the practical applications of those features. In a series of tasks, you will be exposed to techniques and bes...
详细信息
ISBN:
(数字)9781484250136
ISBN:
(纸本)9781484250129
Discover the fundamental concepts of object-relational mapping (ORM) design, Aurelius’ basic features, and the practical applications of those features. In a series of tasks, you will be exposed to techniques and best practices that make the use of Aurelius easy and efficient. Furthermore, you’ll refine your analytical skills to sharpen your understanding of Delphi (Pascal), helping you write better code along the way.;explains that while database design is difficult, database programming (i.e., manipulating, extracting, filtering, and manipulating data) is even more difficult. ORM frameworks provide a simpler way for you to access and manage data in databases. You’ll see how they offer different levels of abstraction and tools to code data access in a database-agnostic way by introducing a layer between the application and the data access language (SQL, LINQ, and so on).;By the endof the book, you will be confident in using a wide range of Aurelius features to allow you to get started with databases in a very short space of time.;Software developers starting with Aurelius or those who have some exposure to the framework.
This book constitutes the proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009, held in Macao, China, in October 2009. The 23 regular papers and 3 took papers...
详细信息
ISBN:
(数字)9783642047619
ISBN:
(纸本)9783642047602
This book constitutes the proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009, held in Macao, China, in October 2009. The 23 regular papers and 3 took papers presented together with 3 invited talks, were carefully reviewed and selected from 74 research papers and 10 tool papers submissions. The papers are organized in topical sections on state space reduction, tools, probabilistic systems, medley, temporal logic, abstraction and refinement, and fault tolerant systems.
Developers who want to include the simple but powerful Kinect technology into their projects, including amateurs and hobbyists, and professional developers
ISBN:
(数字)9781484223161
ISBN:
(纸本)9781484223154
Developers who want to include the simple but powerful Kinect technology into their projects, including amateurs and hobbyists, and professional developers
ECOOP is the premier forum in Europe for bringing together practitioners, - searchers, and students to share their ideas and experiences in a broad range of disciplines woven with the common thread of object technolog...
详细信息
ISBN:
(数字)9783540248514
ISBN:
(纸本)9783540221593
ECOOP is the premier forum in Europe for bringing together practitioners, - searchers, and students to share their ideas and experiences in a broad range of disciplines woven with the common thread of object technology. It is a collage of events, including outstanding invited speakers, carefully refereed technical - pers, practitioner reports re?ecting real-world experience, panels, topic-focused workshops, demonstrations, and an interactive posters session. The 18th ECOOP 2004 conference held during June 14–18, 2004 in Oslo, Norway represented another year of continued success in object-oriented p- gramming, both as a topic of academic study and as a vehicle for industrial software development. Object-oriented technology has come of age; it is now the commonly established method for most software projects. However, an - panding ?eld of applications and new technological challenges provide a strong demand for research in foundations, design and programming methods, as well as implementation techniques. There is also an increasing interest in the in- gration of object-orientation with other software development techniques. We anticipate therefore that object-oriented programming will be a fruitful subject of research for many years to come. Thisyear,theprogramcommitteereceived132submissions,ofwhich25were *** ***,signi?cance,clarity, originality, and correctness. The topics covered include: programming concepts, program analysis, software engineering, aspects and components, middleware, veri?cation, systems and implementation techniques. These were complemented by two invited talks, from Matthias Felleisen and Tom Henzinger. Their titles andabstracts are also included in these proceedings.
This book constitutes the thoroughly refereed post-conference proceedings of the 27th IFIP WG 1.3 International Workshop on Algebraic Development techniques, WADT 2024, held in Enschede, The Netherlands, on July 8, 20...
详细信息
ISBN:
(数字)9783031889301
ISBN:
(纸本)9783031889295
This book constitutes the thoroughly refereed post-conference proceedings of the 27th IFIP WG 1.3 International Workshop on Algebraic Development techniques, WADT 2024, held in Enschede, The Netherlands, on July 8, 2024.
The 6 full papers presented in this volume were carefully reviewed and selected from 11 submissions.
The contributed presentations covered a wide range of topics on the algebraic approach to system specification: from foundations of algebraic-specification languages to institutions and knowledge representation, to graph transformations, rewrite rules, process algebra, and bialgebraic frameworks, to many-logics modal systems and quantum process calculi, and to several applications to code synthesis and maintainability.
暂无评论