Model evolution and system evolution. From: Journal of Computer Science & Technology | Date: October 1, 2000| Author: Pons, Claudia; Baum, Gabriel; Kutsche, Ralf-D. | COPYRIGHT 2000 Graduate Network of Argentine Universities with Computer Science Schools (RedUNCI). This material is published under license from the publisher through the Gale Group, Farmington Hills, Michigan.  All inquiries regarding rights should be directed to the Gale Group.Copyright information

Abstract

In this paper we define an evolution mechanism with formal semantics using the metamodeling methodology [Geisler et al.98] based on dynamic logic. A remarkable feature of the metamodeling methodology is the ability to define the relation of intentional and extensional entities within one level, allowing not only for the description of structural relations among the modeling entities, but also for a formal definition of structural constraints and dynamic semantic...

Related newspaper, magazine, and journal articles from HighBeam Research

	Quality software quest. (computer-aided software engineering methodologies) Software Magazine ; QUALITY SOFTWARE QUEST Software development has always been a seat-of-the-pants endeavor, driven by users' needs and programmers' creativity. It's more art than science, says Bill Georges, manager of systems at New York City's Yashiva University. But the ad hoc, freewheeling style of software
	Delving into software engineering New Straits Times ; New Straits Times 04-09-2007 Delving into software engineering Edition: Main/Lifestyle Section: Tech & U; Outlook Column: Edu tech SCHOOL leavers applying for a place at universities or colleges should consider software engineering as a career prospect. According to Universiti Tun Abdul Razak
	Assessing the process maturity utilized in software engineering team project courses Journal of Engineering Education ; ABSTRACT Many computer science departments offer an introductory software engineering course, which normally provides an introduction to software engineering topics in conjunction with a semester long team project. To ensure students acquire the correct lessons from this project experience, it is
	Into emerging discipline of software engineering New Straits Times ; Khairuddin Hashim New Straits Times 07-21-2003 Into emerging discipline of software engineering Byline: Khairuddin Hashim Edition: Computimes; 2* Section: Outlook Education SOFTWARE engineering is the domain of systematic software development. It emphasises on quality of processes and products, and
	Encouraging students to adopt software engineering methodologies: The influence of structured group labs on beliefs and attitudes Journal of Engineering Education ; ABSTRACT This study proposes that structured labs using groups can help foster individual student acceptance of software engineering methodologies. The technology acceptance model (TAM) is employed in an empirical test using students in freshman and sophomore-level programming courses. Our findings

See all results.