4,951 papers · page 190 of 248
An executing thread, in an object oriented programming language, is spawned, directly or indirectly, by a main process. This in turn gets its instructions from a primary class. In Java there is no close coupling of a thread and the objects from which they were created. The use of…
We are attempting to create a translator for a formal state-based specification language (RSML-ε) that is suitable for use in safety-critical systems. For such a translator, there are two main concerns: the generated code must be shown to be semantically equivalent to the specifi…
This paper presents an algorithm for automatically generating UML statecharts from a collection of UML sequence diagrams. Computer support for this transition between requirements and design is important for a successful application of UML's highly iterative, distributed software…
A customer of high assurance software recently sponsored a software engineering experiment in which a real-time software system was developed concurrently by two popular software development methodologies. One company specialized in the state-of-the-practice waterfall method rate…
In this paper, we describe our experience with component frameworks within a family architecture for a medical imaging product family. The component frameworks are handled as an integral part of the architectural approach and are an important means to support diversity in the fun…
Disciplines like software engineering evolve over time by studying some practices and feeding back those results to improve the practice. The empirical approach presented in the paper is used to analyze the nature of the information shared during peer review meetings (PRMs) held …
In the last decade, we have experienced the advent of the paradigm of ubiquitous computing, with the goal of making computational services so pervasive throughout an environment that they become transparent to the human user.Research in ubiquitous computing raises many challengin…
Open hypermedia is one approach to managing the relationships that exist in software development projects.A key technical issue in this endeavor is support for scalability.Our experience supporting scalability in open hypermedia has revealed several key insights including the not…
No abstract available.
Article Free Access Share on Using version control data to evaluate the impact of software tools Authors: David Atkins Software Production Research Dept., Bell Laboratories, Lucent Technologies Software Production Research Dept., Bell Laboratories, Lucent TechnologiesView Profile…
Article Free Access Share on Baseball seasons and dog years Author: David R. Barstow TeraQuest Metrics, Inc., P.O. Box 200490, Austin, TX and Instant Sports, Inc., P.O. Box 162197, Austin, TX TeraQuest Metrics, Inc., P.O. Box 200490, Austin, TX and Instant Sports, Inc., P.O. Box …
No abstract available.
No abstract available.
In this paper we present the experiences and architecture from a research project conducted in cooperation with two industry partners.The goal of the project was to reengineer an existing system for haemo dialysis machines into a domain specific software architecture [23].Our mai…
Article Polymorphism measures for early risk prediction Share on Authors: Saïda Benlarbi Cistel Technology, 210 Colonnade Road, Suite 204, Nepean, Ontario, Canada K2E 7L5 Cistel Technology, 210 Colonnade Road, Suite 204, Nepean, Ontario, Canada K2E 7L5View Profile , Walcelio L. M…
No abstract available.
In an open component market place, interface description languages (IDLs), such as CORBA'S, provide for the consumer only a weak guarantee (concerning type signatures) that a software service will work in a particular context as anticipated.Stronger guarantees, regarding the inte…
In this paper, a case study investigating the experiences from using product-line architectures is presented involving two Swedish companies, Axis Communications AB and Securitas Larm AB.Key persons in these organizations have been interviewed and information has been collected f…
Several studies have shown that automated testing is a promising approach to save significant amounts of time and money in the industry of reactive software.But automated testing requires a formal framework and adequate means to generate test data.In the context of synchronous re…
Article Linux as a case study: its extracted software architecture Share on Authors: Ivan T. Bowman Dept. of Computer Science, University of Waterloo, Waterloo, Ontario N2L 3G1, Canada Dept. of Computer Science, University of Waterloo, Waterloo, Ontario N2L 3G1, CanadaView Profil…