ACM Transactions on Software Engineering and Methodology
Author :
Publisher :
Page : 562 pages
File Size : 37,53 MB
Release : 2005
Category : Computer software
ISBN :
Author :
Publisher :
Page : 562 pages
File Size : 37,53 MB
Release : 2005
Category : Computer software
ISBN :
Author : Shaoying Liu
Publisher : Springer Science & Business Media
Page : 408 pages
File Size : 36,53 MB
Release : 2008-10-08
Category : Computers
ISBN : 354088193X
This book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM 2008, held in Kitakyushu-City, Japan, October 2008. The 20 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 62 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on specification and verification; testing; verification; model checking and analysis; tools; application of formal methods; semantics.
Author : Patrick Donohoe
Publisher : Springer
Page : 590 pages
File Size : 15,30 MB
Release : 2013-06-05
Category : Computers
ISBN : 0387355634
Software architecture is a primary factor in the creation and evolution of virtually all products involving software. It is a topic of major interest in the research community where pronusmg formalisms, processes, and technologies are under development. Architecture is also of major interest in industry because it is recognized as a significant leverage point for manipulating such basic development factors as cost, quality, and interval. Its importance is attested to by the fact that there are several international workshop series as well as major conference sessions devoted to it. The First Working IFIP Conference on Software Architecture (WICSAl) provided a focused and dedicated forum for the international software architecture community to unify and coordinate its effort to advance the state of practice and research. WICSA 1 was organized to facilitate information exchange between practising software architects and software architecture researchers. The conference was held in San Antonio, Texas, USA, from February 22nd to February 24th, 1999; it was the initiating event for the new IFIP TC-2 Working Group on Software Architecture. This proceedings document contains the papers accepted for the conference. The papers in this volume comprise both experience reports and technical papers. The proceedings reflect the structure of the conference and are divided into six sections corresponding to the working groups established for the conference.
Author : Klaus Pohl
Publisher : Springer Science & Business Media
Page : 298 pages
File Size : 39,47 MB
Release : 2012-11-08
Category : Computers
ISBN : 3642346146
Embedded systems have long become essential in application areas in which human control is impossible or infeasible. The development of modern embedded systems is becoming increasingly difficult and challenging because of their overall system complexity, their tighter and cross-functional integration, the increasing requirements concerning safety and real-time behavior, and the need to reduce development and operation costs. This book provides a comprehensive overview of the Software Platform Embedded Systems (SPES) modeling framework and demonstrates its applicability in embedded system development in various industry domains such as automation, automotive, avionics, energy, and healthcare. In SPES 2020, twenty-one partners from academia and industry have joined forces in order to develop and evaluate in different industrial domains a modeling framework that reflects the current state of the art in embedded systems engineering. The content of this book is structured in four parts. Part I “Starting Point” discusses the status quo of embedded systems development and model-based engineering, and summarizes the key requirements faced when developing embedded systems in different application domains. Part II “The SPES Modeling Framework” describes the SPES modeling framework. Part III “Application and Evaluation of the SPES Modeling Framework” reports on the validation steps taken to ensure that the framework met the requirements discussed in Part I. Finally, Part IV “Impact of the SPES Modeling Framework” summarizes the results achieved and provides an outlook on future work. The book is mainly aimed at professionals and practitioners who deal with the development of embedded systems on a daily basis. Researchers in academia and industry may use it as a compendium for the requirements and state-of-the-art solution concepts for embedded systems development.
Author : Roger Chiang
Publisher : Routledge
Page : 299 pages
File Size : 14,99 MB
Release : 2017-07-05
Category : Social Science
ISBN : 1351547267
For the last two decades, IS researchers have conducted empirical studies leading to better understanding of the impact of Systems Analysis and Design methods in business, managerial, and cultural contexts. SA & D research has established a balanced focus not only on technical issues, but also on organizational and social issues in the information society.This volume presents the very latest, state-of-the-art research by well-known figures in the field. The chapters are grouped into three categories: techniques, methodologies, and approaches.
Author : Yuyu Yuan
Publisher : Springer
Page : 754 pages
File Size : 14,13 MB
Release : 2013-01-05
Category : Computers
ISBN : 3642357954
This book constitutes the refereed proceedings of the International Standard Conference on Trustworthy Distributed Computing and Services, ISCTCS 2012, held in Beijing, China, in May/June 2012. The 92 revised full papers presented were carefully reviewed and selected from 278 papers. The topics covered are architecture for trusted computing systems, trusted computing platform, trusted systems build, network and protocol security, mobile network security, network survivability and other critical theories and standard systems, credible assessment, credible measurement and metrics, trusted systems, trusted networks, trusted mobile network, trusted routing, trusted software, trusted operating systems, trusted storage, fault-tolerant computing and other key technologies, trusted e-commerce and e-government, trusted logistics, trusted internet of things, trusted cloud and other trusted services and applications.
Author : Qing Wang
Publisher : Springer Science & Business Media
Page : 369 pages
File Size : 25,28 MB
Release : 2006-05-09
Category : Business & Economics
ISBN : 3540341994
This book constitutes the refereed proceedings of the First joint International Software Process Workshop and the International Workshop on Software Process Simulation and Modeling, SPW/ProSim 2006. The 34 revised full papers presented together with 4 keynote addresses are organized in topical sections on process tailoring and decision-support, process tools and metrics, process management, process representation, analysis and modeling, process simulation modeling, process simulation applications, and experience report.
Author : Dignum, Virginia
Publisher : IGI Global
Page : 630 pages
File Size : 24,51 MB
Release : 2009-03-31
Category : Technology & Engineering
ISBN : 1605662577
"This book provide a comprehensive view of current developments in agent organizations as a paradigm for both the modeling of human organizations, and for designing effective artificial organizations"--Provided by publisher.
Author : Paolo Arcaini
Publisher : Springer Nature
Page : 180 pages
File Size : 38,72 MB
Release : 2024-01-04
Category : Computers
ISBN : 3031487966
This book constitutes the refereed proceedings of the 15th International Symposium on Search-Based Software Engineering, SSBSE 2023, which took place in San Francisco, CA, USA, during December 8, 2023.The 7 full and 7 short papers included in this book were carefully reviewed and selected from 23 submissions. They focus on formulating various optimization problems in software engineering as search problems, addressing them with search techniques, intending to automate complex software engineering tasks.
Author : Keijiro Araki
Publisher : Springer
Page : 956 pages
File Size : 10,9 MB
Release : 2003-10-02
Category : Computers
ISBN : 3540452362
ThisvolumecontainstheproceedingsofFM2003,the12thInternationalFormal Methods Europe Symposium which was held in Pisa, Italy on September 8–14, 2003. Formal Methods Europe (FME, www. fmeurope. org) is an independent - sociation which aims to stimulate the use of and research on formal methods for system development. FME conferences began with a VDM Europe symposium in 1987. Since then, the meetings have grown and have been held about once - ery 18 months. Throughout the years the symposia have been notably successful in bringing together researchers, tool developers, vendors, and users, both from academia and from industry. Unlike previous symposia in the series, FM 2003 was not given a speci?c theme. Rather, its main goal could be synthesized as “widening the scope. ” Indeed, the organizers aimed at enlarging the audience and impact of the symposium along several directions. Dropping the su?x ‘E’ from the title of the conference re?ects the wish to welcome participation and contribution from every country; also,contributionsfromoutsidethetraditionalFormalMethodscommunitywere solicited. The recent innovation of including an Industrial Day as an important part of the symposium shows the strong commitment to involve industrial p- ple more and more within the Formal Methods community. Even the traditional and rather fuzzy borderline between “software engineering formal methods” and methods and formalisms exploited in di?erent ?elds of engineering was so- what challenged.