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.
HOS concepts are now being applied to a prototype Shuttle flight software system. By providing software with its own meta-software and its own universal system, not only can we produce reliable systems, but we can also communicate these systems to others. Development and real-time flexibility are not sacrificed. The only limitations applied are those which prevent a potential error from occuring,...
The research reported in this paper is concerned with the testing of software which is being developed in a structured way. The advantages which accrue from a well structured or modular organisation of software depend upon an ability to independently test a module well before the full development of all the modules with which it communicates. This paper describes a technique (finite state testing)...
This paper presents a definition in VDL (the Vienna Definition Language) of a simple message processing system using a polling algorithm. It illustrates an application of VDL in a new area and by defining extensions and changes to the original system demonstrates the flexibility of VDL as a formal definition tool.
In recent years there has been a great deal of discussion concerned with the advantages of a top-down structured style of programming and the question of whether or not to banish the goto control statement. The most compelling arguments for the retention of goto have referred to common programming situations where the absence of goto causes some awkwardness in the programming task or loss of efficiency...
We describe a single primitive mechanism for transferring control from one module to another, and show how this mechanism, together with suitable facilities for record handling and storage allocation, can be used to construct a variety of higher-level transfer disciplines. Procedure and function calls, coroutine linkages, non-local gotos, and signals can all be specified and implemented in a compatible...
Résumé Dans [3] de Bakker et Scott définissent une classe de schémas de programmes et un système formel permettant de prouver certaines propriétés de ces schémas. Sous le nom de μ-calculus, ce système a été repris par de Bakker [2] qui a montré que le système est complet relativement aux formules exprimant l'équivalence des schémas de Ianov. Nous montrons ici la complétude de ce système pour les schémas...
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.