检索结果-内蒙古大学图书馆

10th international conference on Tools and Algorithms for the Construction and Analysis of systems

作者： Diethers, K Huhn, M Tech Univ Braunschweig D-38106 Braunschweig Germany

ISBN: (纸本)354021299X

The Unified Modeling Language (UML) provides sequence diagrams to specify inter-object communication in terms of scenarios. The intra-object behavior is modelled by statechart diagrams. Our tool Vooduu performs an automated consistency check on both views, i.e., it verifies automatically whether a family of UML statecharts modelling a system satisfies a set of communication and timing constraints given as UML sequence diagrams. The front-end of the tool is implemented as a plug-in for a commercial UML tool. For verifying, statecharts and sequence diagrams are translated to the formalism of timed automata. The tool generates temporal logic queries, which depend on an interpretation status for each sequence diagram. The verification is performed by the model checker UPPAAL. The results are retranslated into sequence diagrams. Thus the formal verification machinery is mainly hidden from the user. The tool was applied to a model of the control software of a robot prototype.

关键词： Unified Modeling Language

来源：评论

学校读者我要写书评

暂无评论

Modular typechecking for hierarchically extensible datatypes and functions

引用

acm TRANSACTIONS ON programming languages AND systems 2004年第5期26卷 836-889页

作者： Millstein, T Bleckner, C Chambers, C Univ Calif Los Angeles Dept Comp Sci Los Angeles CA 90095 USA Univ Washington Dept Comp Sci & Engn Seattle WA 98195 USA

One promising approach for adding object-oriented (00) facilities to functional languages like ML is to generalize the existing datatype and function constructs to be hierarchical and extensible, so that datatype variants simulate classes and function cases simulate methods. This approach allows existing datatypes to be easily extended with both new operations and new variants, resolving a longstanding conflict between the functional and 00 styles. However, previous designs based on this approach have been forced to give up modular typechecking, requiring whole-program checks to ensure type safety. We describe Extensible ML (EML), an ML-like language that supports hierarchical, extensible datatypes and functions while preserving purely modular typechecking. To achieve this result, EMUS type system imposes a few requirements on datatype and function extensibility, but EML is still able to express both traditional functional and 00 idioms. We have formalized a core version of EML and proven the associated type system sound, and we have developed a prototype interpreter for the language.

关键词： design languages theory extensible datatypes extensible functions modular typechecking

来源：评论

学校读者我要写书评

暂无评论

Automated support for development, maintenance, and testing in the presence of implicit flow control 04

Automated support for development, maintenance, and testing ...

引用

international conference on Software Engineering (ICSE)

作者： S. Sinha A. Orso M.J. Harrold College of Computing Georgia Institute of Technology USA

ISBN: (纸本)9780769521633

Although object-oriented languages can improve programming practices, their characteristics may introduce new problems for software engineers. One important problem is the presence of implicit control flow caused by exception handling and polymorphism. Implicit control flow causes complex interactions, and can thus complicate software-engineering tasks. To address this problem, we present a systematic and structured approach, for supporting these tasks, based on the static and dynamic analyses of constructs that cause implicit control flow. Our approach provides software engineers with information for supporting and guiding development and maintenance tasks. We also present empirical results to illustrate the potential usefulness of our approach. Our studies show that, for the subjects considered, complex implicit control flow is always present and is generally not adequately exercised.

关键词： Automatic testing Automatic control object oriented programming Software maintenance Java Software testing Educational institutions Automatic programming Control systems Industrial control

来源：评论

学校读者我要写书评

暂无评论

Precise modeling of design patterns in UML 04

Precise modeling of design patterns in UML

引用

international conference on Software Engineering (ICSE)

作者： J.K.H. Mak C.S.T. Choy D.P.K. Lun Department of Electronic and Information Engineering Hong Kong Polytechnic University Hong Kong China The Multimedia Innovation Center Hong Kong Polytechnic University Hong Kong China

ISBN: (纸本)9780769521633

Prior research attempts to formalize the structure of object-oriented design patterns for a more precise specification of design patterns. It also allows automation support to be developed for user-defined design patterns in the future CASE tools. Targeting to a particular type of automation (e.g. verification of pattern instances), previous specification approaches over-specify pattern structures to a certain extend. Over-specification makes pattern specification ambiguous and disallows the specification language to be used for specifying compound patterns. In this paper, we present the structural properties of design patterns which reveal the true abstract nature of pattern structures. To support these properties so as to solve the over-specification problem, we propose an extension to UML 1.5 (basically UML 1.4 with Action semantics). The specialization and refining mechanism of UML provides also a smooth support for the instantiation, refinement and integration of pattern structures specified in UML. Our work makes no significant extension to the UML 1.5 meta-model but more in a UML Profile approach to ease the migration of our work to UML 2.0, which has not yet officially released by OMG during this work.

关键词： Unified modeling language object oriented modeling Design automation Computer aided software engineering Design engineering Specification languages Documentation Software systems Technological innovation programming

来源：评论

学校读者我要写书评

暂无评论

A theory of aspects 03

A theory of aspects

引用

8th international conference on Functional programming (ICFP 03)

作者： Walker, D Zdancewic, S Ligatti, J Princeton Univ Princeton NJ 08544 USA

ISBN: (纸本)9781581137569

This paper define the semantics of MinAML, an idealized aspect-oriented programming language, by giving a type-directed translation from its user-friendly external language to its compact, well-defined core language. We argue that our framework is an effective way to give semantics to aspect-oriented programming languages in general because the translation eliminates shallow syntactic differences between related constructs and permits definition of a clean, easy-to-understand, and easy-to-reason- about core language. The core language extends the simply-typed lambda calculus with two central new abstractions: explicitly labeled program points and first-class advice. The labels serve both to trigger advice and to mark continuations that the advice may return to. These constructs are defined orthogonally to the other features of the language and we show that our abstractions can be used in both functional and object-oriented contexts. The labels are well-scoped and the language as a whole is well-typed. Consequently, programmers can use lexical scoping in the standard way to prevent aspects from interfering with local program invariants.

关键词： aspects aspect-oriented programming operational semantics type theory

来源：评论

学校读者我要写书评

暂无评论

Guest editors' introduction:: 2001 international conference on Software Engineering

引用

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 2003年第2期29卷 97-98页

作者： Harrold, MJ Schäfer, W Georgia Inst Technol Coll Comp Atlanta GA 30332 USA Univ Gesamthsch Paderborn Dept Comp Sci D-33095 Paderborn Germany

来源：评论

学校读者我要写书评

暂无评论

Semi-automatic fault localization and behavior verification for physical system simulation models 03

Semi-automatic fault localization and behavior verification ...

引用

18th IEEE international conference on Automated Software Engineering

作者： Bunus, P Fritzson, P Linkoping Univ Dept Comp & Informat Sci SE-58183 Linkoping Sweden

ISBN: (纸本)0769520359

Mathematical modeling and simulation of complex physical systems are emerging as key technologies in engineering. Modern approaches to physical system simulation allow users to specify simulation models with the help of equation-based languages. Due to the high-level declarative abstraction of these languages program errors are extremely hard to find. This paper presents an algorithmic semi-automated debugging framework for equation-based modeling languages. We show how program slicing and dicing performed at the intermediate code level combined with assertion checking techniques can automate, to a large extent, the error finding process and behavior verification for physical system simulation models.

关键词： object oriented modeling Equations Computational modeling Computer simulation Mathematical model Software engineering Software debugging programming profession Computer bugs Physics computing

来源：评论

学校读者我要写书评

暂无评论

An approach for supporting aspect-oriented domain modeling

引用

2nd international conference on Generative programming and Component Engineering, GPCE 2003

作者： Gray, Jeff Bapty, Ted Neema, Sandeep Schmidt, Douglas C. Gokhale, Aniruddha Natarajan, Balachandran Dept. of Computer and Information Sciences University of Alabama at Birmingham BirminghamAL35294-1170 United States Institute for Software Integrated Systems Vanderbilt University NashvilleTN37235 United States

ISBN: (纸本)3540201025

This paper describes a technique for improving separation of concerns at the level of domain modeling. A contribution of this new approach is the construction of support tools that facilitate the elevation of crosscutting modeling concerns to first-class constructs in a type-system. The key idea is the application of a variant of the OMG object Constraint Language to models that are stored persistently in XML. With this approach, weavers are generated from domain-specific descriptions to assist a modeler in exploring various alternative modeling scenarios. The paper examines several facets of Aspect-oriented Domain Modeling (AODM), including: domain-specific model weavers, a language to support the concern separation, an overview of code generation issues within a meta-weaver framework, and a comparison between AODM and AOP. An example of the approach is provided, as well as a description of several future concepts for extending the flexibility within AODM. © Springer-Verlag Berlin Heidelberg 2003.

关键词： Modeling languages

来源：评论

学校读者我要写书评

暂无评论

OOP-Anim, a system to support learning of basic object oriented programming concepts 03

OOP-Anim, a system to support learning of basic object orien...

引用

Proceedings of the 4th international conference conference on Computer systems and technologies: e-Learning

作者： Micaela Esteves António Mendes Escola Superior de Tecnologia e Gestäo de Leiria (ESTG) Portugal Centro de Informática e Sistemas da Universidade de Coimbra Portugal

ISBN: (纸本)9789549641332

This paper presents OOP-Anim, a system to support learning of basic object oriented programming (OOP) concepts. For several reasons, programming is a difficult subject for many students, even in computer science courses. This happens independently of languages and paradigms used. Our system uses program animation to help students overcome some of the difficulties they usually feel to master OOP concepts and associated program dynamic.

关键词： Java animation

来源：评论

学校读者我要写书评

暂无评论

A programming language for autonomous and mobile agents

A programming language for autonomous and mobile agents

引用

IEEE/WIC/acm international conference on Intelligent Agent Technology (IAT)

作者： A. El Fallah-Seghrouchni A. Suna LIP6 University of Paris 6 Paris France LAMSADE University of Paris Dauphine Paris France

This paper proposes a language called CLAIM for computational language for autonomous intelligent and mobile agents. CLAIM allows to design multi-agent systems that support both stationary and mobile agents. Agents designed thanks to CLAIM are endowed with cognitive capabilities (e.g. reasoning), are able to communicate with other agents (send and receive several kinds of messages) and are mobile. The primitives of mobility are inspired from the ambient calculus. The CLAIM language is supported by a multi-platform system (SyMPA) compliant with the standard MASIF (OMG specifications); i.e. agents can be distributed over several sites and can move from one to another with respect to MASIF specifications. This paper presents the main features of our language CLAIM and an example to illustrate its applicability.

关键词： Computer languages Mobile agents Intelligent agent Mobile computing Multiagent systems Calculus Computational intelligence object oriented modeling object oriented programming Decision making

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：