The proceedings from the Professional Group C1 contains 8 papers on the application of formalmethods. Topics discussed include formal specification, programming languages, automatic code generation, formal logic, spe...
详细信息
The proceedings from the Professional Group C1 contains 8 papers on the application of formalmethods. Topics discussed include formal specification, programming languages, automatic code generation, formal logic, specification languages, codes, functional programming language, structured programming, data structures, natural languages and computer simulation.
We describe how the formal method Communicating Sequential Processes (CSP) has been applied in the specification of the communication aspects of a safety-critical Automatic Train Protection (ATP) system. We outline th...
详细信息
We describe how the formal method Communicating Sequential Processes (CSP) has been applied in the specification of the communication aspects of a safety-critical Automatic Train Protection (ATP) system. We outline the requirements of such a system, and then illustrate how a theory of safety, based on the CSP notion of determinism, has been used to reason about safety properties of such a system.
The papers submitted to the ieecolloquium on computing and controldivision 'Industrial use of formalmethods' organized by Professional Group C1 (software engineering) are presented. The issues considered in...
详细信息
The papers submitted to the ieecolloquium on computing and controldivision 'Industrial use of formalmethods' organized by Professional Group C1 (software engineering) are presented. The issues considered include introduction to formalmethods and experiences from the LaCoS and Oersted projects, formalmethods light (experience applying formal specification in the aerospace and nuclear sectors), the industrial use of VDM++, introducing formalmethods to existing processes.
This colloquium contains 7 papers two of which are in abstract form only. The main subjects are computer software development methodology, functional and specification languages, systems analysis and design, and softw...
详细信息
This colloquium contains 7 papers two of which are in abstract form only. The main subjects are computer software development methodology, functional and specification languages, systems analysis and design, and software engineering. application of formal software development methods to office automation is also presented.
In this review, the author examines the application of formalmethods to user-interface design, beginning from the most general considerations of design methodology and developing towards more particular classificatio...
详细信息
In this review, the author examines the application of formalmethods to user-interface design, beginning from the most general considerations of design methodology and developing towards more particular classification of the main categories of formalism. He is critical of inflated claims for formal techniques where those claims assume too immediate a correlation between provable properties of abstract formalisms and the pragmatic demands of ease of use, perspicuity and design communication. The author argues that the paradigm for design in software development ('top-down, stepwise refinement') does not translate immediately into a framework for user-interface design. In general, the virtues of formalisation, and the disciplines of proof and validation entailed, can become vices in the context of user-interface design and evaluation - when too much is claimed for their application. He recommends, instead, that formalmethods in interface design be construed as analogous in scope to the use of formal theories in the physical sciences - as establishing the instrumental preconditions for experimentation.
This work deals with some of the principles upon which RAD projects are managed, based on recent case studies and published methods. It focuses particularly on the development team, and suggests themes that may underl...
详细信息
This work deals with some of the principles upon which RAD projects are managed, based on recent case studies and published methods. It focuses particularly on the development team, and suggests themes that may underlie RAD principles. An approach to metrics in establishing the relationship between principles and benefits is discussed.
The nature of the application and the required functionality of a software system should influence the choice of methods and tools used during development. When the choices are less obvious, however, the question of h...
详细信息
The nature of the application and the required functionality of a software system should influence the choice of methods and tools used during development. When the choices are less obvious, however, the question of how the most appropriate methods and tools can be selected to reduce the level of risk associated with the development of large software systems arise. An approach developed under the MOD 2004 study program is presented and the conclusions of trial applications of the method and tool assessment guide developed during the program are reported.
The paper describes the development and application of an 1 identification method for linear-time invariant single input single output (SISO) systems. Numerical methods applied to produce a reduced order model and an ...
详细信息
The paper describes the development and application of an 1 identification method for linear-time invariant single input single output (SISO) systems. Numerical methods applied to produce a reduced order model and an upper bound upon 1 uncertainty of the approximation are also presented.
At this colloquium, the author considers certain limitations of the current 'state of the art' in identification and parameter estimation, concentrating on those limitations which affect most the practice of t...
详细信息
At this colloquium, the author considers certain limitations of the current 'state of the art' in identification and parameter estimation, concentrating on those limitations which affect most the practice of the subject. For it is in the practicalapplication of theoretical concepts and methods where limitations become most obvious and important. The presentation concentrates on a few examples which the author has found particularly irritating in day-to-day applications work. In general, they concern limitations in theory which become important when theoretically motivated methodology is applied in the real world, rather than the ideal world of the theorist.
The best way to enhance the management of any software is to apply meaningful goal-oriented measure and to adopt well founded estimation practices. Through careful selection of measurement and estimating practices, th...
详细信息
The best way to enhance the management of any software is to apply meaningful goal-oriented measure and to adopt well founded estimation practices. Through careful selection of measurement and estimating practices, the most suitable tools, methods and concepts for individual organisations, and if necessary, individual project teams are provided. The most important source of knowledge in this area would be the published case-studies and personal experience.
暂无评论