Distributed group working among teams of software engineers is increasingly evident in the "real world." Tools to support such working am at present limited to general-purpose groupware involving video, audi...
详细信息
Distributed group working among teams of software engineers is increasingly evident in the "real world." Tools to support such working am at present limited to general-purpose groupware involving video, audio, chat, shared whiteboards, and shared workspaces. Within softwareengineering education, group tasks have an established role in the curriculum However, in general, groups are local to a particular university or institution and are composed of students who have a significant shared history (in terms of technical background and social interaction) and who are able to meet face-to-face on a regular basis. this paper reports on work undertaken by three U,K, universities to provide computer science students withthe opportunity to experience group working across universities using Iom-cost tools to support distributed cooperative working.
Within the framework of a master in digital art, we have developed a set of educational tools for artificial life and the complexity sciences. these software tools constitute a laboratory curriculum that is used to su...
ISBN:
(纸本)3540676554
Within the framework of a master in digital art, we have developed a set of educational tools for artificial life and the complexity sciences. these software tools constitute a laboratory curriculum that is used to supplement the theoretical courses on the subject and contain, among other things, an educational tool for behavioral modeling (VLab).
this paper presents a method to build software-prototypes of computer-Based systems (CBS) that describe and simulate parts of software and parts of hardware using a common concurrent software Behavioral Object Oriente...
详细信息
this paper presents a method to build software-prototypes of computer-Based systems (CBS) that describe and simulate parts of software and parts of hardware using a common concurrent software Behavioral Object Oriented Model (BOOM). For the hardware objects this behavioral prototyping can be viewed as a pre-stage of specification and analysis before the real physical design. the CBS prototypes are built in Java using a method called Vowels2. this method permits the development of the prototype as a concurrent application, from the user-requirements to the software programming in Java. the process of prototype description is made step by step. these steps use a subset of the UML graphical diagrams. the Java coding is deduced from these commented diagrams, using general patterns of thread-active-objects linked by customized objects: synchronous stimuli, asynchronous FIFO-queues etc. the method is illustrated by a simplified example containing parallelism and synchronization: the blood-test machine.
Identifying and analyzing the knowledge available in document form is a key element of corporate knowledge management. In engineering-intensive organizations, it involves tasks such as standard generation and evaluati...
详细信息
ISBN:
(纸本)354041021X
Identifying and analyzing the knowledge available in document form is a key element of corporate knowledge management. In engineering-intensive organizations, it involves tasks such as standard generation and evaluation. comparison of related cases and experience reuse in their treatment. In this paper, we present the design, implementation, and some application experiences with a modular approach that allows a variety of techniques from semantic document analysis to interoperate with a tailorable map-centred visualization of the structure of technical document collections.
the ISO reference model for open distributed Processing (RM-ODP) is a softwareengineering enabler for software architecture of distributed systems. It addresses the non-functional properties of distributed systems in...
详细信息
ISBN:
(纸本)076950616X
the ISO reference model for open distributed Processing (RM-ODP) is a softwareengineering enabler for software architecture of distributed systems. It addresses the non-functional properties of distributed systems in terms of a framework of concepts, structuring rules, semantics, and mechanisms. One such property is Fault Tolerance. this paper provides a view of how RM-ODP addresses the Fault Tolerance (FT) framework. RM-ODP defines a model of FT, and different recovery mechanisms to include recovery of an object, a group of objects, an interface, a binding, a bound interface, etc. Mechanisms for FT include a distinguished FT control object of management of FT, replication, checkpoint/recovery, relocation, migration, and several transparencies to hide the FT mechanisms from the application developer. System-defined policies and schema drive FT. All of this is highlighted in this paper. A brief comparison of this withthe emerging proposal for a Fault Tolerant Common Object Request Broker Architecture (CORBA) is also provided.
To fully understand the underlying architecture of an object-oriented software system, both static and dynamic analyses are needed. Dynamic reverse engineering techniques are especially important for understanding the...
详细信息
ISBN:
(纸本)0769508812
To fully understand the underlying architecture of an object-oriented software system, both static and dynamic analyses are needed. Dynamic reverse engineering techniques are especially important for understanding the run-time behavior of objects in a distributed object systems and in systemsthat rely heavily on polymorphism. Shimba, a prototype reverse engineering environment, has been built to support understanding an existing Java software system. the dynamic event trace information is generated automatically as a result of running the target system under a customized sdk [14] debugger and viewed as scenario diagrams using the SCED tool [5]. In SCED, state diagrams can be synthesized automatically from scenario diagrams. this facility is used to visualize the total behavior of a selected object or method, disconnected from the rest of the system. this paper demonstrates how Shimba aids understanding the behavior of Java programs. A case study in made to validate the usefulness of the approach. the system under investigation is the FUJABA environment consisting of almost 700 Java classes.
this paper presents the first formal verification of the Ricart-Agrawala algorithm [RA81] for distributed mutual exclusion of an arbitrary number of nodes. It uses the Temporal Methodology of [MP95a]. We establish bot...
详细信息
ISBN:
(纸本)3540414134
this paper presents the first formal verification of the Ricart-Agrawala algorithm [RA81] for distributed mutual exclusion of an arbitrary number of nodes. It uses the Temporal Methodology of [MP95a]. We establish boththe safety property of mutual exclusion and the liveness property of accessibility. To establish these properties for an arbitrary number of nodes, parameterized proof rules are used as presented in [MP95a] (for safety) and [MP94] (for liveness). A new and efficient notation is introduced to facilitate the presentation of liveness,proofs by verification diagrams. the proofs were carried out using the Stanford Temporal Prover (STEP) [BBC(+)95], a software package that supports formal verification of temporal specifications of concurrent and reactive systems.
Scenarios are becoming ubiquitous artefacts in software development. Many researchers view scenarios as the product of the collaboration among developers and users during the requirements definition stage [16, 13, 12,...
详细信息
Scenarios are becoming ubiquitous artefacts in software development. Many researchers view scenarios as the product of the collaboration among developers and users during the requirements definition stage [16, 13, 12, 5, 10, 6]. We believe scenarios should be used in a wider scope, covering the whole development process. In this light, scenarios would be produced at different stages and, like other artefacts, would be in constant evolution. In order to support the scenario evolutionary process and aid the migration between stages, springs the need for a scenario-based software process. Recent research evidenced that the process dimension of scenarios is seldom considered in the literature. In this paper we propose a scenario-based process framework to support the evolution of scenarios. the framework relies on a set of scenario operations/relationships described in [2] and incorporates configuration management techniques.
Equivalence between designs is a fundamental notion in verification. the linear and branching approaches to verification induce different notions of equivalence. When the designs aremodeled by fair state-transition sy...
详细信息
作者：
Guerra, SUCL
Dept Comp Sci London WC1E 6BT England
Default reasoning has become an important topic in softwareengineering. In particular, defaults can be used to revise specifications, to enhance reusability of existing systems, and to allow a more economic descripti...
详细信息
ISBN:
(纸本)3540675302
Default reasoning has become an important topic in softwareengineering. In particular, defaults can be used to revise specifications, to enhance reusability of existing systems, and to allow a more economic description of systems. In this paper we develop a framework for default specifications of reactive systems. We present a formalisation of non-monotonicity in temporal logic based on the notion of default institution. Default institutions were defined as an extension of institutions in order to allow partial reuse of existing modules, the semantics of defaults is given by a (generalised) distance between interpretations. In this way, by defining a pre-order between temporal morphisms and using temporal logic as a specification language, we get a way of handling defaults in specifications of reactive systems. We illustrate the developed formalism with an example in which a specification is reused, but where the new behaviour contradicts the initial specification. In this example, the initial specification is seen as a default to which exceptions are added.
暂无评论