The objective of the 1st International Workshop on Advanced Software Development Tools and Techniques (WASDeTT-1) wits to provide interested researchers with a forum to share their tool building experiences and to exp...
详细信息
ISBN:
(纸本)9783642020469
The objective of the 1st International Workshop on Advanced Software Development Tools and Techniques (WASDeTT-1) wits to provide interested researchers with a forum to share their tool building experiences and to explore how tools can be built more effectively and efficiently. The theme for this workshop did focus on tools that target object-oriented languages and that are implemented with object-oriented languages. This workshop report provides a brief overview of the presented tools and of the discussions that took place. The presented tools, 15 in total, covered it broad range Of functionalities, among them: refactoring, modeling, behavioral specification, static and dynamic program checking, user interface composition, and program understanding. The discussion during the workshop centered around the following topics: language independent tools, tool building in an industrial context, tool building methodology, tool implementation language, and building tools with external code.
While software systems are growing bigger, and the market demands shorter software production cycles, IT companies need more and more extensive reuse of existing components. Additionally, sophisticated reuse scenarios...
详细信息
ISBN:
(纸本)9783642026546
While software systems are growing bigger, and the market demands shorter software production cycles, IT companies need more and more extensive reuse of existing components. Additionally, sophisticated reuse scenarios demand flexible components which are able to adapt to different needs. As a result, it is required that all the components are as customizable as possible. In object-oriented (OO) programming languages, the base tool of reuse and customization is inheritance, which is widely known and exploited, however shows its limits when it comes to reuse nested components, which implement their behaviour using other classes instantiated internally. In this paper we present a new proposal that offers a feature for replacing a class with a compatible subclass within a library without the need of modifying its sources. As a result, it increases the possible reuse and the customization scenarios of existing components, with little additional coding required. Our idea is presented as an extension of an arbitrary OO language, however it is studied in more details as an extension of Java called ImpliJava.
With STEP-NC object oriented programming standard, the next generation of CNC controllers promises to be more open, intelligent and interoperable. This standard totally integrates CNC into the CAD-CAM-CNC numerical ch...
详细信息
ISBN:
(纸本)9781424447060
With STEP-NC object oriented programming standard, the next generation of CNC controllers promises to be more open, intelligent and interoperable. This standard totally integrates CNC into the CAD-CAM-CNC numerical chain and is an opportunity to be a common support for various manufacturing processes. New possibilities are offered at the CNC level to make machine tools more autonomous, to perform intelligent part program generation, to increase the productivity and the adaptability in an intelligent multi-process environment. This paper gives a proposal for multi-process manufacturing using STEP-NC as the optimal data model for process planning, process specificities, and inter-processes simulation spaces.
Mainstream IDEs such as Eclipse support developers in managing software projects mainly by offering static views of the source code. Such a static perspective neglects any information about runtime behavior. However, ...
详细信息
ISBN:
(纸本)9781424448975
Mainstream IDEs such as Eclipse support developers in managing software projects mainly by offering static views of the source code. Such a static perspective neglects any information about runtime behavior. However, object-oriented programs heavily rely on polymorphism and late-binding, which makes them. difficult to understand just based on their static structure. Developers thus resort to debuggers or profilers to study the system's dynamics. However, the information provided by these tools is volatile and hence cannot be exploited to ease the navigation of the source space. In this paper we present an approach to augment the static source perspective with dynamic metrics such as precise runtime type information, or memory and object allocation statistics. Dynamic metrics can leverage the understanding for the behavior and structure of a system. We rely on dynamic data gathering based on aspects to analyze running Java systems. By solving concrete use cases we illustrate how dynamic metrics directly available in the IDE are useful. We also comprehensively report on the efficiency of our approach to gather dynamic metrics.
This demonstration presents two tools, Code Contracts and Pex, that utilize specification constructs for advanced testing, runtime checking, and static checking of object-oriented .NET programs.
ISBN:
(纸本)9781424434947
This demonstration presents two tools, Code Contracts and Pex, that utilize specification constructs for advanced testing, runtime checking, and static checking of object-oriented .NET programs.
EOOLT'2008 was the second edition of the ECOOP-EOOLT workshop. The workshop is intended to bring researchers associated with different equation-based object-oriented (EOO) modeling languages and different applicat...
详细信息
ISBN:
(纸本)9783642020469
EOOLT'2008 was the second edition of the ECOOP-EOOLT workshop. The workshop is intended to bring researchers associated with different equation-based object-oriented (EOO) modeling languages and different application areas making use of such languages together. The aim of the workshop is to explore common grounds and derive software design principles that may make future EOO modeling languages more robust, more versatile, and more widely accepted among the various stakeholders. At EOOLT'2008, researchers with diverse backgrounds and needs came together to present and discuss fourteen different concept papers grouped into the four topic areas of integrated system modeling approaches: modeling for multiple applications;modeling language design, and equation handling, diagnosis, and modeling.
Today companies apply software systems with more than 14 million Lines of Code (LOC), which are still maintainable and expandable in spite of their size. On the other hand, you will find smaller software systems (>...
详细信息
ISBN:
(纸本)9780769535890
Today companies apply software systems with more than 14 million Lines of Code (LOC), which are still maintainable and expandable in spite of their size. On the other hand, you will find smaller software systems (> 200,000 LOC), which can either only be adopted with considerable effort, or which cannot be adapted at all. Why are some software systems fraught with maintenance problems while others remain manageable? Based on twenty-four industrial case studies on object-oriented Java projects, this paper identifies, aspects of architectural complexity and describes which route should be taken to keep the architectural complexity of large-scale software systems controllable. In this context it becomes clear that in every case the architectural style is pivotal in determining whether the software system will be maintainable over a longer period and thus prevent software erosion.
We propose a new approach for reasoning about concurrency in object-oriented programs. Central to our approach is Static ownership interence analysis - we conjecture that this analysis has important application in rea...
详细信息
ISBN:
(纸本)9781424434947
We propose a new approach for reasoning about concurrency in object-oriented programs. Central to our approach is Static ownership interence analysis - we conjecture that this analysis has important application in reasoning against concurrency errors.
This paper presents an overview of the design and implementation of a framework for automated unit test code generation in a NET managed code environment, using XSLT XML and the C# programming language. The primary kn...
详细信息
ISBN:
(纸本)9781424437702
This paper presents an overview of the design and implementation of a framework for automated unit test code generation in a NET managed code environment, using XSLT XML and the C# programming language. The primary knowledge and coding skills required for developing and using the framework are XSLT, XML, and C#. The framework is most useful in a software development scenario where dedicated software test engineers are employed for testing activities, and these test engineers have XSLT and XML knowledge but not necessarily strong C# coding ability. An advantage of the framework compared to some alternative approaches is that because the framework uses NET reflection, access to the source code of the system under test is not required. After initial development, most of the testing update effort consists of editing relatively simple XSLT files.
The dynamic frames approach has proven to be a powerful formalism for specifying and verifying object-oriented programs. However, it requires writing and checking many frame annotations. In this paper, we propose a va...
详细信息
ISBN:
(纸本)9783642030123
The dynamic frames approach has proven to be a powerful formalism for specifying and verifying object-oriented programs. However, it requires writing and checking many frame annotations. In this paper, we propose a variant of the dynamic frames approach that eliminates the need to explicitly write and check frame annotations. Reminiscent of separation logic's frame rule, programmers write access assertions inside pre- and postconditions instead of writing frame annotations. From the precondition, one can then infer an upper bound on the set of locations writable or readable by the corresponding method. We implemented our approach in a tool, and used it to automatically verify several challenging programs, including subject-observer;iterator and linked list.
暂无评论