This paper defines a simple subset of tasking and object-oriented features of the Real-Time Specification for java that support high-integrity real-time applications. The subset has been chosen to facilitate the devel...
详细信息
ISBN:
(纸本)0769510892
This paper defines a simple subset of tasking and object-oriented features of the Real-Time Specification for java that support high-integrity real-time applications. The subset has been chosen to facilitate the development of efficient applications whose temporal behavior needs to be exactly predictable.
This paper presents extensions to Bell Canada source code quality assessment suite (DATRIX tm) for handling javalanguage systems. Such extensions are based on source code object metrics, including java interface metr...
详细信息
ISBN:
(纸本)0769501796
This paper presents extensions to Bell Canada source code quality assessment suite (DATRIX tm) for handling javalanguage systems. Such extensions are based on source code object metrics, including java interface metrics, which are presented and explained in detail. The assessment suite helps to evaluate the quality of medium-large software systems by identifying parts of the system which have unusual characteristics. This paper also studies and reports the occurrence of clones in medium-large java software systems. Clone presence affects quality since it increases a system size and often leads to higher maintenance costs. Clone identification process uses java specific metrics to determine similarities between methods throughout a system. The results obtained from experiments with software evaluation and clone detection techniques, on over 500 KLOC of java source code, are presented.
Manual reviews and inspections of software artefacts are time consuming and thus, automated analysis tools have been developed to support the quality assurance of software artefacts. Usually, software analysis tools a...
详细信息
ISBN:
(纸本)9781424437757
Manual reviews and inspections of software artefacts are time consuming and thus, automated analysis tools have been developed to support the quality assurance of software artefacts. Usually, software analysis tools are implemented for analysing only one specific language as target and for performing only one class of analyses. Furthermore, most software analysis tools support only common programminglanguages, but not those domain-specific languages that are used in a test process. As a solution, a framework for software analysis is presented that is based oil a flexible, yet high-level facade layer that mediates between analysis rules and the underlying tat-get software artefact: the analysis rules are specified using high-level XQuery, expressions. Hence, further rules can be quickly added and new types of software artefacts can be analysed without needing to adapt the existing analysis rules. The applicability of this approach is demonstrated by examples from using this framework to calculate metrics and detect bad smells in java source code, in UML models, and in test specifications written using the Testing and Test Control Notation (TTCN-3).
The world wide web is an exciting service that allows one to publish electronic documents made of text and images on the internet. Client software called a web browser can access these documents, and display and print...
详细信息
The world wide web is an exciting service that allows one to publish electronic documents made of text and images on the internet. Client software called a web browser can access these documents, and display and print them. The most popular browsers are currently Microsoft Internet Explorer (Microsoft, Redmond, WA) and Netscape Communicator (Netscape Communications, Mountain View, CA). These browsers can display text in hypertext markup language (HTML) format and images in Joint Photographic Expert Group (JPEG) and Graphic Interchange Format (GIF). Currently, neither browser can display radiologic images in native Digital Imaging and Communications in Medicine (DICOM) format. With the aim to publish radiologic images on the internet, we wrote a dedicated java applet. Our software can display radiologic and histologic images in DICOM, JPEG, and GIF formats, and provides a a number of functions like windowing and magnification lens. The applet is compatible with some web browsers, even the older versions. The software is free and available from the author. Copyright (C) 2001 by W.B. Saunders Company.
We describe new capabilities added to the java Modeling language and the OpenJML deductive program verification tool to support functional programming features introduced in java 8. We also report on the application o...
详细信息
ISBN:
(数字)9783030035921
ISBN:
(纸本)9783030035921;9783030035914
We describe new capabilities added to the java Modeling language and the OpenJML deductive program verification tool to support functional programming features introduced in java 8. We also report on the application of the extensions to a secure streaming protocol library developed by Amazon Web Services and used as a foundation by services it provides. We found that the application under study used a small set of functional programming idioms;methods using these idioms could be verified by techniques that used only first-order logic and did not need all the features that might be required for full generality of functional programming.
This paper describes the implementation of Minijava, a teaching-oriented programminglanguage closely based on the javalanguage developed by Sun Microsystems [6]. The core of the Minijava environment is a restricted ...
详细信息
ISBN:
(纸本)1581133294
This paper describes the implementation of Minijava, a teaching-oriented programminglanguage closely based on the javalanguage developed by Sun Microsystems [6]. The core of the Minijava environment is a restricted subset of the standard java release and is designed to reduce the intimidation factor introductory students experience when they encounter a system as large as the java environment. The paper outlines the particular restrictions and extensions that define Minijava along with pedagogical justifications for each.
Managing operational and semantic interdependencies among software services is a relatively unexplored topic, despite its relevance to automating service deployments and to increased availability. In this paper we des...
详细信息
ISBN:
(纸本)0769524087
Managing operational and semantic interdependencies among software services is a relatively unexplored topic, despite its relevance to automating service deployments and to increased availability. In this paper we describe a framework for structured and programmatic dependency management among services written in the java (TM) programminglanguage. The framework's interface allows for defining an acyclic graph of dependencies. The graph's structure reflects the startup sequence of managed services. Upon a service failure or intentional termination, the dependencies are consulted to determine which services may be affected. If the dependencies so dictate, a service that has gone off-line will automatically be restarted. The requisite changes, e.g., restarting, will be propagated along the graph's edges to ensure that the required dependencies are satisfied for each service. We demonstrate the usefulness of this framework through real-life case studies.
Gurevich's [26] Abstract State Machines (ASMs), characterized by the parallel execution of abstract atomic actions in a global state, have been equipped in [13] with a refinement by standard composition concepts f...
详细信息
ISBN:
(纸本)354042959X
Gurevich's [26] Abstract State Machines (ASMs), characterized by the parallel execution of abstract atomic actions in a global state, have been equipped in [13] with a refinement by standard composition concepts for structuring large machines that allows reusing machine components. Among these concepts are parameterized (possibly recursive) sub-ASMs. Here we illustrate their power for incremental and modular system design by unfolding, via appropriate ASM components, the architecture of the java Virtual Machine (JVM), resulting from the language layering in combination with the functional decomposition of the JVM into loader, verifier, and interpreter. We survey the ASM models for java and the JVM that appear in [34], together with the mathematical and experimental analysis they support.
This paper presents a technique for deadlock detection of java programs. The technique uses typing rules for extracting infinitestate abstract models of the dependencies among the components of the java intermediate l...
详细信息
ISBN:
(纸本)9783319944609;9783319944593
This paper presents a technique for deadlock detection of java programs. The technique uses typing rules for extracting infinitestate abstract models of the dependencies among the components of the java intermediate language - the java bytecode. Models are sub-sequently analysed by means of an extension of a solver that we have defined for detecting deadlocks in process calculi. Our technique is complemented by a prototype verifier that also covers most of the java features.
By now, most people are familiar with the java 2 platform and how Sun has grouped java technologies into three editions (Standard, Micro and Enterprise Editions). Sun introduced the java 2, Micro Edition (J2ME) in Jun...
详细信息
ISBN:
(纸本)0769510507
By now, most people are familiar with the java 2 platform and how Sun has grouped java technologies into three editions (Standard, Micro and Enterprise Editions). Sun introduced the java 2, Micro Edition (J2ME) in June 1999 to address the needs of the consumer electronics and embedded devices community. Specifically, the J2ME was built for devices with limited power, network connectivity (often wireless), and graphical user interface capabilities. Today, the J2ME provides a java platform to an incredibly diverse set of devices. Generally speaking, this space covers devices with less computing capabilities than a personal computer, yet more capabilities than a smart card.
暂无评论