Human behavior is often assumed to be hierarchically structured, made up of abstract actions that can be decomposed into concrete actions. However, behavior is typically measured as a sequence of actions, which makes ...
详细信息
The typical involvement of human factors (HF) only at the evaluation stage of system development often results in poor realisation of HF contributions. By emulating the characteristics of SADMs, a structured HF method...
详细信息
The typical involvement of human factors (HF) only at the evaluation stage of system development often results in poor realisation of HF contributions. By emulating the characteristics of SADMs, a structured HF method that covers the system design cycle is developed. Since the method complies with the requirements of a SADM it is expected to inherit the desirable characteristics of SADMs (e.g. the benefits of systematic analysis and design). Also, by recruiting existing national schemes of SADMs, the communication of HF design products to software engineers is also facilitated. In addition, structured integration of software engineering and HF design could be achieved effectively by integrating a particular SADM with the described structure HF method. To this end, the explicit characteristics of both methods would support the identification of design inter-dependencies between the disciplines. The relevance (e.g. scope and timeliness) and applicability (e.g. format and granularity) of HF inputs with respect to the system design cycle are thus ensured. Consequently, an improved uptake of HF may be expected to accrue.< >
A new method for transformation from SA/RT to SDL has been developed. The method consists of a hybrid modelling language, serving as a bridge between the two expression techniques, together with a set of transformatio...
详细信息
A new method for transformation from SA/RT to SDL has been developed. The method consists of a hybrid modelling language, serving as a bridge between the two expression techniques, together with a set of transformation rules and guidelines. This paper shows how SA/RT can serve as a front-end extension to SDL and that a rule based transformation is both feasible and practical.< >
'Hard' real-time systems are those which must meet strictly-defined time deadlines. In the development of software for such systems, the issue of time constraints causes a structured model describing the desig...
详细信息
'Hard' real-time systems are those which must meet strictly-defined time deadlines. In the development of software for such systems, the issue of time constraints causes a structured model describing the design of the software to be very different from a structured model describing its functional requirements. Issues such as memory access time, interrupt latency and intertask message passing time are central to real-time software design. A new graphic representation technique for real-time design modelling is presented and an example is given, showing both a software requirements model and a real-time design solution model. Differences in the structure of the models, as well as differences in representation and evaluation criteria, are discussed.< >
structured systems analysis and design method, SSADM, was ten years old in 1991. System development managers look increasingly to SSADM to be their structured approach to system design. It is being published as a Brit...
详细信息
structured systems analysis and design method, SSADM, was ten years old in 1991. System development managers look increasingly to SSADM to be their structured approach to system design. It is being published as a British standard in time for 1992. It is taught in polytechnics and colleges of education. It is supported by a large and competing supplier industry of trainers; consultancies; freelance staff and computer aided software engineering tool vendors. The author discusses what gives SSADM its competitive advantage over commercial methodologies. The following areas are examined: SSADM development; SBADM as one of the open methodologies; structural overview of SSADM; and SSADM's competitive advantage.< >
We propose an interpretation of multiparty sessions with asynchronous communication as Flow Event Structures. We introduce a new notion of asynchronous type for such sessions, ensuring the expected properties for mult...
详细信息
Yourdon structured methods provides a fast, flexible and well-defined route to cost-effective production of high-quality software. (Where quality is defined as conformance to specification). YSM's 'cook-book a...
详细信息
Yourdon structured methods provides a fast, flexible and well-defined route to cost-effective production of high-quality software. (Where quality is defined as conformance to specification). YSM's 'cook-book approach' to systems development is described and discussed. Various Yourdon-related methods are outlined, including: functional decomposition, event/response and object-oriented. A list of issues to be considered when taking on Yourdon is also presented.< >
The authors describe a tool for verifying the functional behaviour of specifications, built using the Jackson System Development (JSD) method, by executing them and displaying the execution as animated graphics. Using...
详细信息
The authors describe a tool for verifying the functional behaviour of specifications, built using the Jackson System Development (JSD) method, by executing them and displaying the execution as animated graphics. Using such a tool it is possible to build a specification incrementally, verifying it after each increment. It is believed that the tool has potential for facilitating communicating of a specification between analysts and as a vehicle for enhancing analysts' understanding of the method. The work reported is being carried out as part of an Alvey software engineering project called Analyst Assist. The aim is to develop a knowledge-based environment for supporting analysts in the elicitation, specification and validation of requirements.< >
We consider the notion of weak permission as the failure to conclude that the opposite obligation. We investigate the issue from the point of non-monotonic reasoning, specifically logic programming and structured argu...
详细信息
A Yourdon-based approach to the analysis and design of KBS is presented (E. Yourdon, 1988). The author compares prototyping and structured design approaches and discusses a radical structured approach to KBS design. P...
详细信息
A Yourdon-based approach to the analysis and design of KBS is presented (E. Yourdon, 1988). The author compares prototyping and structured design approaches and discusses a radical structured approach to KBS design. Phases and deliverables of knowledge engineering are also presented.< >
暂无评论