We propose a logic for partial reasoning over all general logic programs in a certain first-order language L. We need such a logic to express statements like it is impossible that a ground atom is both true and false ...
详细信息
A framework for automating strategies of object-oriented analysis is presented and a prototype system called CanVVaS (Capture, Validation & Verification, and Synthesis) is constructed. 'Capture' generates ...
详细信息
ISBN:
(纸本)0818667052
A framework for automating strategies of object-oriented analysis is presented and a prototype system called CanVVaS (Capture, Validation & Verification, and Synthesis) is constructed. 'Capture' generates queries based on prespecified domain knowledge or an inference acquired from the representation of the world to help guide the user in specifying new relevant knowledge for the growing specification. 'Synthesis' enforces rules defined by a specific methodology and its notation. these rules lay out the overall structure of the specification, and the format they must follow. 'V&V' is the process of examining the representation of the 'World' for faults to generate a critique. the framework is represented within the blackboard problem-solving model.
the author presents a software requirements specification method with a visual language (VRDL) and a text base language (X-JRDL). VRDL language allows to define boththe shape and semantics of any icons to specify req...
详细信息
ISBN:
(纸本)0818667052
the author presents a software requirements specification method with a visual language (VRDL) and a text base language (X-JRDL). VRDL language allows to define boththe shape and semantics of any icons to specify requirements just what he imagines. X-JRDL language based on the case grammar allows to define case structures of any new verbs to specify requirements naturally and easily. In this sense these languages are customizable. Since these two languages are based on the same model, their internal representations have the same scheme. this fact means that a describer can write down requirements with either/both VRDL or/and X-JRDL. the model which gives the basis of the languages, features of the languages, and some examples are described.
A good structure is an important quality aspect of a program. Well-structured, modular programs are less costly to maintain than unstructured, monolithic ones. Quantitatively assessing structure and modularity of prog...
详细信息
A good structure is an important quality aspect of a program. Well-structured, modular programs are less costly to maintain than unstructured, monolithic ones. Quantitatively assessing structure and modularity of programs can be useful to help ensure that a program is well-structured by indicating a potential need for restructuring of poorly structured code. However, previous structure metrics do not sufficiently account for the modular features used in modern, object-oriented programming languages. We propose four novel measures to assess the modular structure of a software project. Our measures are based on the principle of vocabulary hiding and measure a form of cohesion. A metrics prototype tool has been implemented for the Modula-3 programming language. Informal tests suggest that they are indeed useful to assess the quality of the program structure.
this paper proposes a design method for the dialogue part of GUI applications. the dialogue part describes sequences of interactions in the use of an application program. As the use procedures become more complex, it ...
详细信息
ISBN:
(纸本)0818667052
this paper proposes a design method for the dialogue part of GUI applications. the dialogue part describes sequences of interactions in the use of an application program. As the use procedures become more complex, it becomes harder to design dialogue with simple state transition models. We specify requirements for the dialogue components as a collection of individual interaction sequences. Each user-application interaction sequence (or service scenario) is modeled as communication among GUI elements and users. We adopt the message sequence chart (MSC) for scenario notation. this design environment, called GUI-SIDER has been implemented in an X11/Motif environment. In this design environment, program code is automatically generated from a set of scenarios. In an evaluation that involved developing a sample GUI application, GUI-SIDER reduced initial development time by 20% and modification time by 40%.
this paper first proposes a structural view model of C++ programs to show the relationships between the main program, functions(procedures), objects, and classes. Based on this model, a new structural testing method f...
详细信息
this paper first proposes a structural view model of C++ programs to show the relationships between the main program, functions(procedures), objects, and classes. Based on this model, a new structural testing method for C++ programs is proposed. In this method, the testing order of the components of C++ programs is defined automatically. In addition, to ensure that no extra objects are declared and no redundant member functions exist in classes, the object and class coverage criteria are proposed.
the most important factors influencing complexity of a concurrent program are communicating and synchronizing behaviours between tasks. In Ada program, these behaviours are expressed as rendezvous and relations betwee...
详细信息
the most important factors influencing complexity of a concurrent program are communicating and synchronizing behaviours between tasks. In Ada program, these behaviours are expressed as rendezvous and relations between rendezvouses. this paper investigates rendezvous successive and nesting relations, introduces the successive graph for successive relation and nesting tree for nesting relation and gives the methods for constructing the graphs and trees. Some properties of the graph and the tree are given. Finally, the paper proposes that the concurrent complexity of a program is a weighted sum of the rendezvous successive complexity and nesting complexity, and in turn, they are the sum of edge numbers of rendezvous successive graphs and sum of weighted node numbers on rendezvous nestiing trees respectively.
Object-oriented conceptual modeling captures real-world entities as close as possible. Data and functions are encapsulated in an object. this allows software to be easily adapted to changes in the application. In this...
详细信息
Object-oriented conceptual modeling captures real-world entities as close as possible. Data and functions are encapsulated in an object. this allows software to be easily adapted to changes in the application. In this paper, we present an object-oriented approach for modeling and analysis of time dependent systems. It describes the structural aspect and the time critical behavioral aspect of objects in one model and from which formal analysis can be conducted to verify desirable properties. In particular, the main concern of behavioral modeling is to present the specification of temporal knowledge about object activities such as their chronological ordering, durations, and time limits.
A knowledge-based approach is proposed to assist the analysis phase of the object-oriented software design. the approach uses explicit knowledge representations to exhibit the activities of object-oriented analysis. I...
详细信息
A knowledge-based approach is proposed to assist the analysis phase of the object-oriented software design. the approach uses explicit knowledge representations to exhibit the activities of object-oriented analysis. It couples with appropriate domain knowledge to form a knowledge-based system that allows the system analyst to input the suspicious terms and then gradually formalizes and elaborates them into concrete requirement specifications. there are two kinds of process units in the knowledge-based system, i.e., an Information Process Unit (IPU) and a Knowledge Process Unit (KPU). the former handles user interactions and governs the reasoning process in the latter. the latter, containing proper object-oriented analysis methodical knowledge, conducts knowledge reasoning and derives valuable information for the former.
An object-oriented representation of databases which takes advantage of the structure of logical representation and an object-oriented algorithm that evaluates conjunctive queries in a massively parallel environment a...
详细信息
An object-oriented representation of databases which takes advantage of the structure of logical representation and an object-oriented algorithm that evaluates conjunctive queries in a massively parallel environment are reported and analyzed. the object-oriented representation is used to implement data level parallelism as data is encapsulated as an object. By distributing these objects in a database, parallel evaluation is achieved by a global pattern matching approach which is different from the conventional tuple-by-tuple, operation-by-operation evaluation strategy. this algorithm overcomes the data dependency imposed by shared variables which is a major problem in achieving AND-parallelism. Simulation results for 2 way and 3 way joins are analysed according to the effect of database size and join size. Results tend to show that the scheme proposed performs better for queries with large number of AND conjuncts.
暂无评论