Improvements in software processes can improve software quality, cost, and on-time delivery. Supplementing strategic software release planning with fine grain operational planning provides project managers the tools and abilities to make timely decisions affecting the project. Strategic planning of software releases is accomplished by the assignment of requirements to releases on a strategic le...

This paper analyzes the relationship between organizational learning mechanisms, normally regarded as dynamic capabilities, and the operational flexibility of the firm, considered as an operational capability, within the context of the measurement of firm performance. Organizational learning is a dynamic process which enables the firm to adapt to changing environments, so making it easier for i...

Our goal is to assess the strategic and operational benefits of electronic integration for industrial procurement. We conduct a field study with an industrial supplier and examine the drivers of performance of the procurement process. Our research quantifies both the operational and strategic impacts of electronic integration in a B2B procurement environment for a supplier. Additionally, we sho...

An extension of Milner's CCS is presented. The language takes into account a number of resources/processors which have processes at disposal. It enables to consider various distributions and nesting of (sub)processes. Both an operational semantics in Plotkin style and bisimulation semantics for the language are deened. An axiomatiza-tion for nite processes is given, that may be the basis for an...

process-driven software engineering environnnents,process programming, algorithms, learning Process-driven software development environments (PSDE's) provide support for the software (life-cycle) processes within which the environment is embedded and operational. This support includes tools and mechanisms for: modeling, analysis, automation, execution, optimization, and evolution of processes. ...

Today’s claims management processes face challenges of inconsistent data, an ever-increasing number of channels and, perhaps most important, inflexible systems. By executing structured processes on an enterprise application and tapping supporting processes with the help of social software, claims management can be enhanced by reducing hidden costs, increasing operational efficiency and building...

We present the rst compositional proof system for checking processes against formulas in the modal-calculus which is capable of handling general innnite-state processes. The proof system is obtained in a systematic way from the operational semantics of the underlying process algebra. A non-trivial proof example is given, and the proof system is shown to be sound in general, and complete for nit...

Agile processes emphasize operational system code rather than its documentation. Ironically, however, some traditional documentation artefacts come to support system-stakeholders interaction, which is another core aspect of agile development processes. In this chapter, the authors examine the relationship between system development and knowledge documentation. They develop an approach that enab...

Operational excellence is generally known as a management system integrated across critical functions that is geared towards continually improving operational performance. Functional areas such as health, environment and safety, quality and human resources are the focus of many corporate-wide operational excellence programs. Operational excellence also focuses on improving areas such as custome...

We give a coalgebraic formulation of timed processes and their operational semantics. We model time by a monoid called a “time domain”, and we model processes by “timed transition systems”, which amount to partial monoid actions of the time domain or, equivalently, coalgebras for an “evolution comonad” generated by the time domain. All our examples of time domains satisfy a partial closure prop...