The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
This paper shortly describes the formal requirements engineering method Clyder, proposed as a front-end to the use of HOOD. Clyder was designed to be a rigorous though industrially applicable method. The paper discusses some of the difficulties in mapping Clyder constructs into HOOD, and the solutions applied in a tool supporting this transition.
There arc two broad approaches to the specification of the dynamics of information systems, namely the operational and the declarative one. The declarative approach has advantages in terms of abstractness and of locality of infonnation. Its main drawback is the so called frame problem, i.e. the need to explicitly forbid unwanted changes. We propose an extension of the declarative approach which incorporates...
We draw some lessons from our attempt to introduce the formal requirements engineering language ERAE in an industrial context. We review the various experiments and comment on such issues as the typical deficiencies of current practices, misconceptions about the nature of requirements, our approach to technology transfer, the importance of methodological guidance, and the role of tools. One of the...
Formal specification languages and methods for refining specifications into programs have, up to now, received more attention than methods for obtaining the initial formal specification. This situation is corrected in the ESPRIT project METEOR, which distinguishes the two activities of requirements engineering (RE) — obtaining the right specification — and design engineering (DE) — using that specification...
This paper reports on the application of formal requirements engineering in an industrial context We started from a logic-based specification language, and discovered a number of key ingredients that needed be added, for this approach to be accepted: the concept of agent as a means to structure large specifications, graphical notations whenever appropriate, compact textual notations for frequent patterns...
In einer prospektiv angelegten, arthroskopisch kontrollierten Studie wurde bei 58 Patienten mit akuter Kniegelenkverletzung properativ durch manuelle Sonometrie das vordere Kreuzband (VKB) auf eine eventuelle Verletzung hin untersucht. Zustzlich erfolgte eine klinische Untersuchung (Lachmann-Test, Pivot-shift-Test nach McIntosh, 90-Schublade), eine gehaltene Rntgenaufnahme sowie eine gehaltene Sonometrie...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.