As the relationship between users and interactive softwaresystems becomes increasingly personal, the users are expecting more from these systems than just utility and usability. To that effect, in the context of agil...
详细信息
A software quality assurance framework using knowledge-based engineering technology is described. The knowledge engineering technology uses an object-oriented data base to store the knowledge (the software quality inf...
详细信息
A software quality assurance framework using knowledge-based engineering technology is described. The knowledge engineering technology uses an object-oriented data base to store the knowledge (the software quality information), and rules and meta-rules are its inferential knowledge. A dependency-based truth maintenance system based on hypothetical reasoning is used for design evaluation of the software quality. This framework can provide knowledge-based assistance for quality assurance throughout the entire software development cycle. To ensure high quality software and achieve cost-effective software development and maintenance, software metrics are used during the entire software development cycle to measure and predict the quality of software products. Various metrics for software attributes for all phases of the software development cycle will be collected and stored in the object-oriented database. The integration of the knowledge base with the software quality framework provides a wide range of support to the development of large-scale softwaresystems.
Model-checking is becoming an accepted technique for debugging hardware and softwaresystems. Debugging is based on the "Check/Analyze/Fix" loop: check the system against a desired property, producing a coun...
详细信息
ISBN:
(纸本)354025420X
Model-checking is becoming an accepted technique for debugging hardware and softwaresystems. Debugging is based on the "Check/Analyze/Fix" loop: check the system against a desired property, producing a counterexample when the property fails to hold;analyze the generated counterexample to locate the source of the error;fix the flawed artifact - the property or the model. The success of model-checking non-trivial systems critically depends on making this Check/Analyze/Fix loop as tight as possible. In this paper, we concentrate on the Analyze part of the debugging loop. To this end, we present a framework for generating, structuring and exploring counterexamples either interactively or with the help of user-specified strategies.
software languages have always been an essential component of model-driven engineering. Their importance and popularity has been on the rise thanks to language workbenches, language-oriented development and other meth...
详细信息
ISBN:
(纸本)9781538634929
software languages have always been an essential component of model-driven engineering. Their importance and popularity has been on the rise thanks to language workbenches, language-oriented development and other methodologies that enable us to quickly and easily create new languages specific for each domain. Unfortunately, language design is largely a form of art and has resisted most attempts to turn it into a form of science or engineering. In this paper we borrow concepts, techniques and principles from the domain of persuasive technology, or wider yet, design with intent - which was developed as a way to influence users behaviour for social and environmental benefit. Similarly, we claim, software language designers can make conscious choices in order to influence the behaviour of language users. The paper describes a process of extracting design components from 24 books of eight categories (dragon books, parsing techniques, compiler construction, compiler design, language implementation, language documentation, programming languages, software languages), as well as from the original set of Design with Intent cards and papers on DSL design. The resulting language design card toolkit can be used by DSL designers to cover important design decisions and make them with more confidence.
The author discusses the hypertext concept, which is of interest as an electronic writing, reading, thinking, and communication tool that uses the power of computers for more than display and editing. The hypertext fe...
详细信息
The author discusses the hypertext concept, which is of interest as an electronic writing, reading, thinking, and communication tool that uses the power of computers for more than display and editing. The hypertext features fit a wide range of applications, the most challenging of which is analysis and design activities, including CASE tools. The design of a practical, specific-domain, hypertextlike system for a group of collaborating information analysts that is based on successful past experience with building and using such a tool is discussed.< >
In this paper we present a new method of combining multiple precedence constraints for a single task to support softwaresystems having client-server relationships. In these types of softwaresystems, the combination ...
详细信息
The operators of DBMSs (database management systems) at battlefield command centers in military reserve units are initially novice and then occasional users. Failure modes in using these systems are analyzed in terms ...
详细信息
The operators of DBMSs (database management systems) at battlefield command centers in military reserve units are initially novice and then occasional users. Failure modes in using these systems are analyzed in terms of human factors. Using theories of human behavior in interactive systems, guidelines for dialog design are introduced. The guidelines were applied to the design of a utility package to be used by programmers of DBMSs for occasional users.< >
software architecture is the foundation for the development of softwaresystems. Its correctness is important to the quality of the softwaresystems that have been developed based on it. Formally modeling and analyzin...
详细信息
ISBN:
(纸本)1891706373
software architecture is the foundation for the development of softwaresystems. Its correctness is important to the quality of the softwaresystems that have been developed based on it. Formally modeling and analyzing software architecture is an effective way to ensure the correctness of software architecture. However, how to effectively verify software architecture and use the results from formal modeling and analysis is important to the application of the approach. In this paper, software architecture is modelled using high level Petri nets, and the model is then checked with a model based testing tool called MISTA, and bounded model checking tool Alloy to ensure the correctness of the model. The approach is designed as a two-phase process consisting of model-based testing and bounded model checking to ensure it is both practical and rigorous for analyzing software architecture. We illustrated the idea and procedure via modeling and analyzing the Publish- Subscribe architecture. The result has shown that combining bounded model checking with model based testing is an effective extension to ensure the development quality.
The systems which perform mission-critical functions, as used in close-loop guidance and event sequencing for various real-time applications consider fault-tolerance as one of their desirable architectural attributes....
详细信息
ISBN:
(纸本)0852965265
The systems which perform mission-critical functions, as used in close-loop guidance and event sequencing for various real-time applications consider fault-tolerance as one of their desirable architectural attributes. Such systems are required to be extremely reliable and our present work is an optimistic approach to meet this reliability requirement through a communication architecture of distributed transputers. The fault diagnosis procedure is such that the detection of faulty nodes does not require any central observer and the architecture in true sense remains distributed. The reconfiguration of the system by the replacement of faulty nodes are automatically taken up by the spare nodes. The present work is implemented on eight nodes using multiple 32-bit transputers and the complete software is developed in OCCAM.
softwaresystems need to be continuously maintained and evolved in order to cope with ever-changing requirements and environments. Introducing these changes without stopping the system is a critical requirement for ma...
详细信息
ISBN:
(纸本)9783319489926;9783319489919
softwaresystems need to be continuously maintained and evolved in order to cope with ever-changing requirements and environments. Introducing these changes without stopping the system is a critical requirement for many softwaresystems. This is especially so when the stop may result in serious damage or monetary losses, hence a mechanism for system change at runtime is needed. With the increase in size and complexity of softwaresystems, software architecture has become the cornerstone in the lifecycle of a software system and constitutes the model that drives the engineering process. Therefore, the evolution of software architecture has been a key issue of software evolution research. Architects have few techniques to help them plan and perform the dynamic evolution of software architecture for real-time systems. Thus, our approach endeavors to capture the essential concepts for modeling dynamic evolution of software architectures, in order to equip the architects with a framework to model this process.
暂无评论