Abstract Sustainability is aimed at addressing the environmental and socio-economic issues of this generation future ones. In context, sustainable public procurement (SPP) has been proposed to link consumption side (government) production (companies), whilst four dimensions sustainability (economic, environmental, social, time). This paper undertakes an analysis, through hermeneutics, sets syst...

Abstract The unintended movement protection device of elevator car can prevent the accident passenger shearing and extrusion caused by fracture traction wheel shaft failure control system components. However, due to relatively complex composition this device, many accidental devices in actual use process do not meet requirements standards specifications. In view problems found inspection, sever...

Our goal in this work is to develop analytical tools to support the definition of balanced and compatible sets of vehicle specifications in the early stages of vehicle development. In this paper, we discuss the development and application of a Technical Feasibility Model (TFM) that may be used in preliminary design to assess the technical feasibility and optimality of specified combinations of ...

The updating of reality presentation (maps or digital databases) is evolving for a wide range of applications, including mapping purposes. Several methods are in use, but lately, the main approach involves automatic change detection and incremental updating and versioning. Two main ways are possible: (i) to redraw map whenever we have to reprint a sheet, or (ii) to rebuild database, and thus be...

Rapid changes in business environment result in necessity to introduce new agile modeling methods, which effectively support evolution of information system specifications. Service oriented paradigm can be applied for achievement of this goal. Conceptual models of service interactions are important as a natural principle for the separation of crosscutting concerns of various information system ...

We give a detailed construction of a finite-state transition system for a com-connected Message Sequence Graph. Though this result is fairly well-known in the literature there has been no precise description of such a transition system. Several analysis and verification problems concerning MSG specifications can be solved using this transition system. The transition system can be used to constr...

INTRODUCTION Critical Care Continuous EEG (CCEEG) is a common procedure to monitor brain function in patients with altered mental status in intensive care units. There is significant variability in patient populations undergoing CCEEG and in technical specifications for CCEEG performance. METHODS The Critical Care Continuous EEG Task Force of the American Clinical Neurophysiology Society deve...