This volume contains papers presented at the first joint conference of the Software Pr- ess Workshop and the International Workshop on Software Process Simulation and Modeling (SPW/ProSim 2006) held in Shanghai, P.R. ...
详细信息
ISBN:
(数字)9783540342014
ISBN:
(纸本)9783540341994
This volume contains papers presented at the first joint conference of the Software Pr- ess Workshop and the International Workshop on Software Process Simulation and Modeling (SPW/ProSim 2006) held in Shanghai, P.R. China, on May 20-21, 2006. The theme of SPW/ProSim 2006 was “Software Process Change – Meeting the Challenge.” Software developers are under ever-increasing pressure to deliver their products more quickly and with higher levels of quality. These demands are set in a dynamic context of frequently changing technologies, limited resources and globally distributed development teams. At the same time, global competition is forcing - ganizations that develop software to cut costs by rationalizing processes, outsourcing part or all of their activities, reusing existing software in new or modified appl.cations and evolving existing systems to meet new needs, while still minimizing the risk of projects failing to deliver. To address these difficulties, new or modified processes are emerging, including agile methods and plan-based product line development. Open Source, COTS and community-developed software are becoming more popular. Outsourcing coupled with 24/7 development demands well-defined processes and interfaces to support the coordination of organizationally and geographically separated teams. All of these challenges combine to increase demands on the efficiency and effectiveness of so- ware processes.
The classical results on state reduction for complete deterministic automata (see [2]) can be proved for incomplete deterministic automata, too. This is especially due to the fact that, in spite of a widespread opinio...
详细信息
The classical results on state reduction for complete deterministic automata (see [2]) can be proved for incomplete deterministic automata, too. This is especially due to the fact that, in spite of a widespread opinion (see e. g. [2], p. 45), the notion of equivalence of states of incomplete automata can be defined in a similar way as in the complete case (this has also been remarked bySchmitt [7]), and that the notion of state homomorphism may likewise be generalized. The proof becomes very easy, since, in analogy to the normal one-point compactification of a partial algebra (see [6]), we associate to each incomplete automaton a unique complete automaton such that minimality is preserved.
This paper deals with a characterization of special cases when the distributive law is satisfied in interval arithmetic, a question first formulated byMoore [1]. To find a solution, the basic problem is subdivided int...
详细信息
This paper deals with a characterization of special cases when the distributive law is satisfied in interval arithmetic, a question first formulated byMoore [1]. To find a solution, the basic problem is subdivided into eight cases; in three of them distributivity ever holds, while in other three cases the law is failing. The conditions concerning the remaining cases are combined to a general characterization.
This book contains the extended and revised versions papers from the Second International Symposium on Business Modeling and Software Design (BMSD 2012), held in Geneva, Switzerland, in July 2012, organized and sponso...
详细信息
ISBN:
(数字)9783642374784
ISBN:
(纸本)9783642374777
This book contains the extended and revised versions papers from the Second International Symposium on Business Modeling and Software Design (BMSD 2012), held in Geneva, Switzerland, in July 2012, organized and sponsored by the Interdisciplinary Institute for Collaboration and Research on Enterprise Systems and Technology (IICREST), in cooperation with the Center for Telematics and Information Technology (CTIT), the Institute for Systems and Technologies of Information, Control and Communication (INSTICC), and Technical University of Sofia. The theme of BMSD 2012 was "From Business Modeling to Service-Oriented Solutions".
The 7 papers presented in this book were carefully reviewed and selected from 46 submissions. Each paper was reviewed by at least two internationally known experts from the BMSD Program Committee. The papers focus on business models, service engineering, and information systems architectures.
暂无评论