Real-time specification patterns
S Konrad, BHC Cheng - … of the 27th international conference on …, 2005 - dl.acm.org
Embedded systems are pervasive and frequently used for critical systems with time-
dependent functionality. Dwyer et al have developed qualitative specification patterns to …
dependent functionality. Dwyer et al have developed qualitative specification patterns to …
Formalization of natural language requirements into temporal logics: a survey
I Buzhinsky - 2019 IEEE 17th international conference on …, 2019 - ieeexplore.ieee.org
One of the challenges of requirements engineering is the fact that requirements are often
formulated in natural language. This represents difficulty if requirements must be processed …
formulated in natural language. This represents difficulty if requirements must be processed …
Specification patterns for probabilistic quality properties
L Grunske - Proceedings of the 30th international conference on …, 2008 - dl.acm.org
Probabilistic verification techniques are a powerful means to ensure that a software-
intensive system fulfills its quality requirements. To apply these techniques an accurate …
intensive system fulfills its quality requirements. To apply these techniques an accurate …
Translating structured english to robot controllers
Recently, Linear Temporal Logic (LTL) has been successfully applied to high-level task and
motion planning problems for mobile robots. One of the main attributes of LTL is its close …
motion planning problems for mobile robots. One of the main attributes of LTL is its close …
Method of creating a requirement description for testing an embedded system
S Burmester, K Lamberg, C Wewetzer… - US Patent …, 2011 - Google Patents
The invention relates to a method of creating a requirement description for an embedded
system, including but not only a motor vehicle electronic control unit, in which a vocabulary …
system, including but not only a motor vehicle electronic control unit, in which a vocabulary …
Facilitating the construction of specification pattern-based properties
S Konrad, BHC Cheng - 13th IEEE International Conference on …, 2005 - ieeexplore.ieee.org
Formal specification languages are often perceived as difficult to use by practitioners, and
are therefore rarely-used in industrial software development practices. Numerous …
are therefore rarely-used in industrial software development practices. Numerous …
Specification patterns from research to industry: a case study in service-based applications
Specification patterns have proven to help developers to state precise system requirements,
as well as formalize them by means of dedicated specification languages. Most of the past …
as well as formalize them by means of dedicated specification languages. Most of the past …
Requirements formality levels analysis and transformation of formal notations into semi-formal and informal notations
It is pivotal to have well-specified requirements to eliminate errors at an early stage of the
system development life cycle. Some quality standards recommend the use of formal …
system development life cycle. Some quality standards recommend the use of formal …
From structured english to robot motion
H Kress-Gazit, GE Fainekos… - 2007 IEEE/RSJ …, 2007 - ieeexplore.ieee.org
Recently, Linear Temporal Logic (LTL) has been successfully applied to high-level task and
motion planning problems for mobile robots. One of the main attributes of LTL is its close …
motion planning problems for mobile robots. One of the main attributes of LTL is its close …
An integrated framework for the analysis of dependable interactive systems (IFADIS): Its tool support and evaluation
K Loer, MD Harrison - Automated Software Engineering, 2006 - Springer
This paper discusses a method for the analysis of dependable interactive systems using
model checking, and its support by a tool designed to make it accessible to a broader …
model checking, and its support by a tool designed to make it accessible to a broader …