Sciweavers

6343 search results - page 116 / 1269
» Development of a Cartographic Language
Sort
View
AAMAS
2000
Springer
15 years 4 months ago
Semantic Issues in the Verification of Agent Communication Languages
This article examines the issue of developing semantics for agent communication languages. In particular, it considers the problem of giving a
Michael Wooldridge
SCAM
2006
IEEE
15 years 11 months ago
Cross-Language Program Analysis and Refactoring
Many software systems are mixed-language systems today, i.e., they bind together components defined in different programming and specification languages. Analyses and refactorin...
Dennis Strein, Hans Kratz, Welf Löwe
MODELS
2010
Springer
15 years 2 months ago
transML: A Family of Languages to Model Model Transformations
Model transformation is one of the pillars of Model-Driven Engineering (MDE). The increasing complexity of systems and modelling languages has dramatically raised the complexity an...
Esther Guerra, Juan de Lara, Dimitrios S. Kolovos,...
JSS
2010
120views more  JSS 2010»
14 years 11 months ago
A family of languages for architecture constraint specification
During software development, architecture decisions should be documented so that quality attributes guaranteed by these decisions and required in the software specification could ...
Chouki Tibermacine, Régis Fleurquin, Salah ...
TOOLS
2009
IEEE
15 years 11 months ago
Guaranteeing Syntactic Correctness for All Product Line Variants: A Language-Independent Approach
A software product line (SPL) is a family of related program variants in a well-defined domain, generated from a set of features. A fundamental difference from classical applicati...
Christian Kästner, Sven Apel, Salvador Trujil...