A description is presented of CRUISE, the graphic user interface of OBSERV. OBSERV is a methodology that allows a rapid construction of an executable specification (or prototype) to support testing of the prototype by...
详细信息
ISBN:
(纸本)0818620412
A description is presented of CRUISE, the graphic user interface of OBSERV. OBSERV is a methodology that allows a rapid construction of an executable specification (or prototype) to support testing of the prototype by simulation, to facilitate smooth transition to a target system, and to provide means for reusing specification, design and code. CRUISE provides OBSERV with graphic editing capabilities that replace the existing text editor. While developing CRUISE, emphasis was placed on two distinct, yet interrelated, sets of goals. One is to develop a 'good' user-interface, whereas the other conforms to the basic concept of OBSERV--the underlying methodology. The objective set for CRUISE are outlined, and structure presented along with implementation details;future trends are discussed.
The methodology of system integration that was applied in the development of the avionics system of the T/D aircraft is described. This methodology is part of the entire-life-cycle methodology. The integration methodo...
详细信息
ISBN:
(纸本)0818620412
The methodology of system integration that was applied in the development of the avionics system of the T/D aircraft is described. This methodology is part of the entire-life-cycle methodology. The integration methodology uses the executable system description that evolves during the system development both for test preparation and test execution. The method is equivalent to rapid prototyping.
Design by contract is a practical methodology for evolving code together with its specification. The contract has important methodological implications on. the design of the program. In addition, tools that instrument...
详细信息
ISBN:
(纸本)0769526780
Design by contract is a practical methodology for evolving code together with its specification. The contract has important methodological implications on. the design of the program. In addition, tools that instrument the code to check for contract violations help the development process by catching errors close to their sources. This is complicated by several factors, such as the need to collect preconditions from supertypes. There are two issues involved in the implementation of such a tool: the correct enforcement of the theoretical principles, and the instrumentation of the code. Most previous tools tackle both issues, but have subtle failures in one or the other. This paper describes Jose, a tool for design. by contract in Java, which uses Aspect), an aspect-oriented extension of Java, to instrument the program. This allows us to leverage the expertise of the Aspect) developers in instrumenting Java programs, and concentrate on the correct implementation of the design-by-contract principles. This approach has the added benefit that it can be generalized to other object-oriented Languages that have aspect-oriented extensions. We describe the design decisions made in the implementation of Jose, and the features of Aspect) that helped or hindered this implementation.
A digital consulting methodology for information technology planning is presented. The approach provides improved communications across organizational boundaries throughout the enterprise, resulting in greater managem...
详细信息
ISBN:
(纸本)0818620412
A digital consulting methodology for information technology planning is presented. The approach provides improved communications across organizational boundaries throughout the enterprise, resulting in greater management involvement and a clearer understanding of business directions, generating the information technology architecture as well as specific applications requirements. The architecture is developed by studying the business objectives and their supporting processes to derive the underlying information flows and systems. Five key factors are considered in these analyses: The business goals, the organizational culture, the personnel, the measurements, and the tools that help the enterprise achieve its goals.
An integrated approach for the collection of telephone call records at BEZEQ (the israeli telephone company) exchanges, implemented by IBM, is described. The product provides a controlled network which includes modern...
详细信息
ISBN:
(纸本)081862065X
An integrated approach for the collection of telephone call records at BEZEQ (the israeli telephone company) exchanges, implemented by IBM, is described. The product provides a controlled network which includes modern digital exchanges and upgraded old analog exchanges. The handling of digital components within analog exchanges and the dedicated project management system are discussed.
Two so are system lifecycle development paradigms have been competing on the minds and hearts of software developers and executives: The traditional Object-Oriented approach and the emerging Service-Oriented Architect...
详细信息
ISBN:
(纸本)0769525385
Two so are system lifecycle development paradigms have been competing on the minds and hearts of software developers and executives: The traditional Object-Oriented approach and the emerging Service-Oriented Architecture (SOA) or SO Development of Application (SODA). While 00 puts objects and their encapsulated behavior at the center stage, emphasizing primarily rigid structure, SODA hails services as the prime players to cater primarily to behavior. We discuss the new SOA technologies from the extended enterprise and the service network all the way to the atomic service level and show that Object-Process Methodology (OPM), which strikes a unique balance between structure and behavior, is most suitable as the underlying SOA-based lifecycle engineering approach. Using OPCAT, the OPM-supporting systems modeling software environment, we construct the top level diagram of a model of SODA and simulate it using animation in order to show how OPM conveniently serves as an ideal overarching comprehensive methodology that encompasses the entire spectrum of service-oriented enterprise systems development.
ECSAM is a requirements engineering and modeling method for computer-based systems (CBS). It is practiced and enhanced since 1980 by large numbers of systems and software engineers. ECSAM was developed in part at Isra...
详细信息
ISBN:
(纸本)0769521258
ECSAM is a requirements engineering and modeling method for computer-based systems (CBS). It is practiced and enhanced since 1980 by large numbers of systems and software engineers. ECSAM was developed in part at israel Aircraft Industries for the analysis and design of complex reactive embedded systems and software. ECSAM guides the developers in systematic analysis and modeling of systems being developed and describing those using three consistent views;its conceptual architecture, operating modes, and system's capabilities. Each capability is further analyzed and described as a dynamic process. Using ECSAM it is possible to generate systematically the system's use cases and the resulting operational scenarios. The modeling technique is applicable in the analysis of systems and any level of subsystems. The method guides the developer in the derivation of the system requirements and their systematic allocation to and association with the model's elements at the respective levels. ECSAM was the prime motive for the development of the Statecharts technology developed by Prof. David Harel as part of the method. The paper provides an overview of the ECSAM method, which is described in detail in a book that will be published in 2004 [1].
The SunPict environment supports interactive graphical composition and execution of procedural programs. It is able to effectively handle larger user programs than its predecessors, thanks to a combination of (a) effi...
详细信息
ISBN:
(纸本)0818689722
The SunPict environment supports interactive graphical composition and execution of procedural programs. It is able to effectively handle larger user programs than its predecessors, thanks to a combination of (a) efficient algorithms which underlie the implementation, and (b) careful use of traditional visual elements such as color and animation in conjunction with many novel features (including, for example, supplementing textual variable names with simple icons that convey type information, and allowing the runtime action associated with an icon to be specified by means of either an iconic SunPict subprogram or textual code written in a simple Lisp-like dialect). The authors concentrate on the user's view of SunPict. An overview of the environment within the context of previous work is followed by several detailed examples which illustrate what it is like to work in the system. Plans for future enhancements are discussed.
The author discusses major trends for the years ahead and identifies the following major issues: (1) improving the achievements of knowledge workers in organizations by designing systems that support tasks where they ...
详细信息
ISBN:
(纸本)0818620412
The author discusses major trends for the years ahead and identifies the following major issues: (1) improving the achievements of knowledge workers in organizations by designing systems that support tasks where they are performed;(2) designing flexible information architectures that provide effective coordination of processes;(3) designing information infrastructures between organizations to get and keep a competitive advantage;and (4) directing methodologies, tools and professionals to the solution of these design questions.
The theory of the programs and systems of Soviet scientists (A.A. Lyapunov, A.P. Ershov, Yu.I. Janov, V.M. Glushkov, E.L. Yushchenko, V.V. Lipaev, etc.) is given. The essence of the theory of programs, programming tec...
详细信息
ISBN:
(纸本)9781538647417
The theory of the programs and systems of Soviet scientists (A.A. Lyapunov, A.P. Ershov, Yu.I. Janov, V.M. Glushkov, E.L. Yushchenko, V.V. Lipaev, etc.) is given. The essence of the theory of programs, programming techniques, synthesis, Assembly, and composition of program systems (1963-1990) is defined. Basic concepts of the theory of engineeringsoftware (1980-2016) and SEMAT (2009) are presents. A new promising theory and methods for modeling changing systems from finished software resources (objects, components, services, etc.) and their configuration in the building output code products and systems are defined.
暂无评论