714 search results - page 89 / 143 » The Formal Specification Language mCRL2 |
IASTEDSE
2004
13 years 10 months ago
2004
This paper describes a case study on application of natural language processing in very early stages of the requirements engineering. In our previous work [7] we have shown how na...
HEURISTICS
2010
13 years 3 months ago
2010
The challenge in shift scheduling lies in the construction of a set of work shifts, which are subject to specific regulations, in order to cover fluctuating staff demands. This pro...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
This paper discusses highly general mechanisms for specifying the refinement of a real-time system as a collection of lower level parallel components that preserve the timing and ...
FORMATS
2006
Springer
14 years 11 days ago
2006
Springer
Abstract. Real-time systems usually encompass parts that are best described by a continuous-time model, such as physical processes under control, together with other components tha...
FOIS
2001
13 years 10 months ago
2001
The uptake in the software industry of notations for designing systems visually has been accelerated with the standardization of the Unified Modeling Language (UML). The formaliza...