You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
As knowledge-based software engineering matures and increasingly automates the software engineering life cycle, software engineering resources are shifting towards knowledge acquisition and the automated reuse of expert knowledge for developing software artifacts. This book summarizes the work and new research results presented at the Tenth Joint Conference on Knowledge-based Software Engineering (JCKBSE 2012), held on the island of Rhodes, Greece, in August 2012. The biennial Joint Conference on Knowledge-Based Software Engineering brings together researchers and practitioners to share ideas on the foundations, techniques, tools, and applications of knowledge-based software engineering theory and practice. Topics addressed include theoretical foundations, practical techniques, software tools, applications and/or experience reports in knowledge-based software engineering. This book is published in the subseries Knowledge-Based Intelligent Engineering Systems (KBIES).
This book constitutes the refereed proceedings of the 11th Joint Conference on Knowledge-Based Software-Engineering, JCKBSE 2014, held in Volgograd, Russia, in September 2014. The 59 full and 3 short papers presented were carefully reviewed and selected from 197 submissions. The papers are organized in topical sections on methodology and tools for knowledge discovery and data mining; methods and tools for software engineering education; knowledge technologies for semantic web and ontology engineering; knowledge-based methods and tools for testing, verification and validation, maintenance and evolution; natural language processing, image analysis and recognition; knowledge-based methods and a...
Publisher description: "The LNCS Journal on 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 focus of the journal is on approaches for systematic identification, modularization, representation and composition of crosscutting concerns, i.e., the aspects, evaluation of such approaches and their impact on improving quality attributes of software systems. This book, the first volume in the Transactions on Aspect-Oriented Software Development series, presents nine revised paper...
This book introduces the concept of software architecture as one of the cornerstones of software in modern cars. Following a historical overview of the evolution of software in modern cars and a discussion of the main challenges driving that evolution, Chapter 2 describes the main architectural styles of automotive software and their use in cars’ software. Chapter 3 details this further by presenting two modern architectural styles, i.e. centralized and federated software architectures. In Chapter 4, readers will find a description of the software development processes used to develop software on the car manufacturers’ side. Chapter 5 then introduces AUTOSAR – an important standard in ...
This book constitutes the proceedings of the Third Asia Pacific Requirements Engineering Symposium, APRES 2016, held in Nagoya, Japan, in November 2016. The 7 full papers presented together with three short papers, were carefully reviewed and selected from 14 submissions. The papers are organized in topical sections on requirements traceability and prioritization; requirements modeling and process for quality; requirements validation; requirements analysis.
This book constitutes the refereed proceedings of the 19th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2000, held in Rotterdam, The Netherlands in October 2000. The 33 revised full papers presented together with three invited papers were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on verification and validation; software process improvement; formal methods; safety guidelines, standards and certification; hardware aspects; safety assessment; design for safety; and transport and infrastructure.
This book draws on historical demography to elucidate the regional diversity of the Japanese family and its convergence toward an integrated national family model that heralded the modern era, providing a new image of the family in pre-industrial Japan. The volume challenges the idea of early modern (1600-1870) Japan as a monolithic nation based on the ie, - the stem-family household so often mentioned as the fundamental form of Japanese social organization and enshrined in the Meiji Civil Code - which, in fact, came into being at various locales, at various speeds in the latter half of the 18th and the earlier half of the 19th centuries. In addition, there are several chapters which examine the role of women, either centrally or tangentially. With contributions by Mary Louise NAGATA, YAMAMOTO Jun, Hiroko COSTANTINI, Stephen ROBERTSON, MIZOGUCHI Tsunetoshi, NAKAJIMA Mitsuhiro, TSUBOUCHI Yoshihiro and MORIMOTO Kazuhiko.
Includes history of bills and resolutions.
The Congressional Record is the official record of the proceedings and debates of the United States Congress. It is published daily when Congress is in session. The Congressional Record began publication in 1873. Debates for sessions prior to 1873 are recorded in The Debates and Proceedings in the Congress of the United States (1789-1824), the Register of Debates in Congress (1824-1837), and the Congressional Globe (1833-1873)