This paper discusses Gild: An open source, Eclipse-based IDE for teaching and learning programming. Gild was designed to simplify and add pedagogical support to the Eclipse IDE to make it more appropriate for novice p...
详细信息
This paper discusses Gild: An open source, Eclipse-based IDE for teaching and learning programming. Gild was designed to simplify and add pedagogical support to the Eclipse IDE to make it more appropriate for novice programmers and their instructors. Its development has greatly benefited from the ability to study, reuse, and modify existing Eclipse code. The core members of the Gild team are primarily researchers, making the maintenance of a growing code base difficult. It is challenging to create a community of developers because unlike most open source projects the developers (researchers) of Gild are not the main users (novice programmers) of Gild. To overcome this problem, we discuss techniques for making Gild more attractive to skilled developers (professors and graduate students). These techniques include improving instructor support in Gild and developing a grading perspective. We hope that these additions will attract able contributors and make Gild a self-sustaining community.
The prediction of solar storms from real-time satellites data is an essential to protect various aviation, power, and communication infrastructures. For this reason, current research interest is focusing on creating s...
详细信息
The approaches for extraction and representation of knowledge from textual user requirements could be summarized in two groups: i) when we have in mind an end model and seek, mine and represent knowledge for it. In sh...
详细信息
ISBN:
(纸本)9781601320254
The approaches for extraction and representation of knowledge from textual user requirements could be summarized in two groups: i) when we have in mind an end model and seek, mine and represent knowledge for it. In short, this approach can be defined as "knowledge driven from a target model";ii) when we have in mind knowledge in a text, and seek an appropriate model to represent it. The intermediate model obtained in this manner can be processed further, to achieve another kind of end model. We define this approach as "model driven from source knowledge". This paper presents an approach of the second kind, for analyzing textual user requirements and extraction and representation of knowledge as a graphical requirement engineering (RE) model - Use Case Paths.
This report describes some characteristics of the development team of PostgreSQL that were uncovered by analyzing the history of its software artifacts as recorded by the project's CVS repository.
ISBN:
(纸本)1595933972
This report describes some characteristics of the development team of PostgreSQL that were uncovered by analyzing the history of its software artifacts as recorded by the project's CVS repository.
Traditionally graphics clusters have been employed in realtime visualization of large geometric models (many millions of 3D points). Data parallel approaches have been the obvious choices when it comes to breaking up ...
详细信息
Automatic mining or inference of formal specifications from program source code is a desirable goal for documentation and verification purposes. However, current approaches that generate invariants, pre- and post-cond...
详细信息
ISBN:
(纸本)9781450308939
Automatic mining or inference of formal specifications from program source code is a desirable goal for documentation and verification purposes. However, current approaches that generate invariants, pre- and post-conditions, procedure summaries and sometimes also class invariants have mostly focused on extracting specifications from concrete method bodies. Consequently, almost all results have a low level of abstraction that is very close to the analyzed source code. We use JML model fields to raise the abstraction level of such automatically generated specifications, relying on the constraints imposed by behavioral subtyping. Starting from several derived classes we attempt to generate model fields for the supertype and represents clauses for each subtype. The relations between concrete and model fields are generated by checking the validity of predefined patterns against the specifications of subtype methods. Our prototype tool uses as inputs specifications generated with dynamic analysis (Daikon), identifies model fields and their representations, and generates specifications for supertype methods. Copyright 2011 ACM.
Correctness of system compositions is automatically ensured by using formal behavioural models of services. However, such models are not always provided. We present a model inference technique for black-box asynchrono...
详细信息
This paper presents our work on the evaluation of syntactic based sentence compression for automatic text summarization. Sentence compression techniques can contribute to text summarization by removing redundant and i...
详细信息
software systems typically comprise multiple components which are developed using different technologies, thus the interoperability that enables the components to interact despite differences in programming languages ...
详细信息
software systems typically comprise multiple components which are developed using different technologies, thus the interoperability that enables the components to interact despite differences in programming languages and execution platforms is becoming a central issue. This paper describes how to use Object-Oriented design patterns to derive a cross-platform interoperability framework for bridging the different technology specific models (PSMs) within the Model Driven Architecture (MDA). In addition, we present a MDA based approach to applying the proposed PSM interoperability framework in an automatic fashion to generate a communication bridge between two PSMs in a multi-agent system.
The challenge in the creation of RE/SE (Requirements engineering/softwareengineering) models automatically from NL (Natural Language) description of requirements is to discover the knowledge model within the language...
详细信息
ISBN:
(纸本)9780889867055
The challenge in the creation of RE/SE (Requirements engineering/softwareengineering) models automatically from NL (Natural Language) description of requirements is to discover the knowledge model within the language model. In this article, we present a new approach for analyzing and processing these two models. Our approach combines two technologies: The first is NLP (Natural Language Processing) which we use to construct a graphical model of the language and of the knowledge it simultaneously carries within it. Once the model has been built, we can extract structural analogies with a DM (Domain Model). The second is FCA (Formal Concept Analysis), with which we process these structures. FCA helps us in two ways: as an analytical tool to formalize the concepts, and as a technology to structure and visualize them. A case study is provided to demonstrate the applicability of our approach.
暂无评论