1988 search results - page 281 / 398 » Engineering formal metatheory |
146
click to vote
FASE
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. Within model-driven software development, model transformation has become a key activity. It refers to a variety of operations modifying a model for various purposes such...
160
click to vote
FASE
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. In this paper we present a layered architecture for modeling workflows in Mobile Ad-Hoc NETworks (manets) using algebraic higher order nets (aho nets). manets are networ...
149
click to vote
GTTSE
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. Feature Models (FMs) are a key artifact for variability and commonality management in Software Product Lines (SPLs). In this context, the merging of FMs is being recogniz...
170
click to vote
MODELS
2007
Springer
16 years 17 days ago
2007
Springer
A navigation model describes the possible sequences of web pages a user can visit, and a request routing model describes how server side components handle each request. Earlier we...
163
click to vote
PEPM
2007
ACM
16 years 16 days ago
2007
ACM
The event-driven programming style is pervasive as an efficient method for interacting with the environment. Unfortunately, the event-driven style severely complicates program mai...