In this paper, we review current requirements engineering (RE) research and identify future
research directions suggested by emerging software needs. First, we overview the state of …

In this paper, we review current requirements engineering (RE) research and identify future
research directions suggested by emerging software needs. First, we overview the state of …

Test und Validierung spielen bei Echtzeitsystemen eine zentrale Rolle: Auf die
Spezifikationen, die der Hersteller angibt, muss sich der Kunde hier in besonders hohem …

Formal methods and supporting tools have a long record of success in the development of
safety-critical systems. However, no single tool has emerged as the dominant solution for …

To develop agent-based systems, one needs a methodology that supports the development
process as common in other disciplines. In recent years, several such methodologies and …

Reactivity is one of the key features of hardwaredescription languages. We present an
efficient implementationof reactivity in the Scenic framework that allows the systemdesigner …

The elicitation, modeling and analysis of requirements have consistently been one of the
main challenges during the development of complex systems. Telecommunication systems …

John C. Knight Colleen L. DeJong Matthew S. Gibble Luís G. Nakano (knight| cld9h| msg7y|
nakano)@ virginia. edu Department of Computer Science University of Virginia …

After a number of success stories in safety‐critical domains, we are starting to witness
applications of formal methods in contemporary systems and software engineering …

We present a technique for automatically verifying linear-time temporal logic safety
properties of programs written in Esterel, a formally-defined language for programming …