Object-oriented technology has become mature enough to satisfy many new requirements coming from areas like computer-aided design (CAD), computer-integrated manufacturing (CIM), or softwareengineering (SE). However, ...
详细信息
Two major problems in the engineering of software-intensive, real time and distributed computersystems are, without becoming lost in code details, I) understanding how an implemented system works as a whole, and II) ...
详细信息
ISBN:
(纸本)0818677430
Two major problems in the engineering of software-intensive, real time and distributed computersystems are, without becoming lost in code details, I) understanding how an implemented system works as a whole, and II) specifying, before implementation starts, how the required behaviour of the whole system is to be achieved. these lead to other problems, such as, long iteration cycles during forward engineering while various code changes are tried in attempts to fix erroneous system behaviour, and inadvertently introducing code changes during maintenance or reengineeringthat will damage correct system behaviour because there is a lack of backwards traceability to it from the code, this paper illustrates the application of a new technique called use case maps to solving these problems, using as an example a system constructed from a public-domain, object-oriented, software framework called ACE.
there is increasing interest in having softwaresystems execute and interoperate over the Internet. Execution and interoperation at this scale imply a degree of loose coupling and heterogeneity among the components fr...
详细信息
Remote Procedure Call (RPC) is a commonly used mechanism for client/server applications. RPC implements a tightly synchronized client/server interaction that is analogous to the well understood procedure call in regul...
详细信息
Remote Procedure Call (RPC) is a commonly used mechanism for client/server applications. RPC implements a tightly synchronized client/server interaction that is analogous to the well understood procedure call in regular non-distributed applications. the underlying principle common to all RPC-based tools and standards is that both client and server share a common IDL (Interface Definition Language) file. Automatic tools process the IDL file and generate source files that when compiled withthe application, ensure client/server run-time compliancy. We introduce an RPC methodology for C++ client/server applications that follows a different pattern;sharing of C++ base classes, in place of an IDL file. this releases the developer from the dependence on, and need to learn complex RPC tools and standards. We believe that C++ programmers will find this approach sufficient for most of their distributed-applications development needs.
It is widely accepted that software development technical reviews (SDTRs) are a useful technique for finding defects in software products. Recent debates centre around the need for review meetings (Porter and Votta 19...
详细信息
this paper reported about work in progress. One of the main findings is that the Soni ideas, although originated within the Siemens company, are also useful within Philips. We came to similar conclusions as Soni et. a...
ISBN:
(纸本)3540635319
this paper reported about work in progress. One of the main findings is that the Soni ideas, although originated within the Siemens company, are also useful within Philips. We came to similar conclusions as Soni et. al. [1] and particularly we found it difficult to pinpoint the conceptual architecture. Explicit relationships between the various architectures were not always made clear. the most clear is the relationship between module and code architectures. this determined often the relationships between the module and execution architectures, but in general they are difficult to find and in many cases implicit. the similarities and differences among the various systems are surprising. In particular, there appears to be no standard way of representing the various architectures. For each of the individual cases the work has resulted in a much better understanding of the software architectures. In the past these architectures, were either implicit, hidden and scattered over many documents, or only known by the experts. By explicitly extracting them and modelling them from various viewpoints it has become easier to share the relevant architectural knowledge withthe non-SW architects (HW-Architects, System Architects, Product Managers, etc.) in the organisation.
the proceedings contain 39 papers. the special focus in this conference is on softwareengineering Education. the topics include: An unconsummated marriage;subtypes for specifications;developing multimedia application...
ISBN:
(纸本)3540635319
the proceedings contain 39 papers. the special focus in this conference is on softwareengineering Education. the topics include: An unconsummated marriage;subtypes for specifications;developing multimedia applications withthe win-win spiral model;what we teach software engineers in the university;what we expect from software engineers in the industry;security issues in distributed software;a framework for classifying and comparing architecture description languages;applying static analysis to software architectures;making design patterns explicit in face - a framework adaptive composition environment;TTM 15 - a large multi-site improvement project;change management needs integrated process and configuration management;the design of a next-generation process language;software release management;a contextual approach for process-integrated tools;engineering relational database applications;providing automated support to deductive analysis of time critical systems;verification of liveness properties using compositional reachability analysis;model checking graphical user interfaces using abstractions;a replicated empirical study;experiences with criticality predictions in software development;validating the defect detection performance advantage of group designs for software reviews;system modeling integration of sequential scenarios;a view-oriented approach to system modelling based on graph transformation;a design framework for internet-scale event observation and notification;refining data flow information using infeasible paths;feasible test path selection by principal slicing;cryptographic verification of test coverage claims;the use of program profiling for software maintenance with applications to the year 2000 problem.
the software architecture of a distributed program can be represented by a hierarchical composition of subsystems, with interacting processes at the leaves of the hierarchy. Compositional reachability analysis (CRA) i...
详细信息
We describe the application of model checking tools to analyze a real-time software challenge in the design of Lucent Technologies' 5ESS telephone switching system. We use two tools: COSPAN for checking real-time ...
详细信息
We describe the application of model checking tools to analyze a real-time software challenge in the design of Lucent Technologies' 5ESS telephone switching system. We use two tools: COSPAN for checking real-time properties, and TPWB for checking probabilistic specifications. We report on the feedback given by the tools, and based on our experience, discuss the advantages and the limitations of the approach used.
Formal specification languages are often criticized for being difficult to understand, difficult to use, and unacceptable by software practitioners. Notations based on state machines, such as, State-charts, Requiremen...
详细信息
暂无评论