1178 search results - page 146 / 236 » A Methodological Approach to Developing Model Transformation... |
130
click to vote
AAMAS
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. As agents move into ever more important applications, there is a natural growth in interest in techniques for synthesizing multiagent systems. We describe an approach for...
185
click to vote
ESEC
1999
Springer
15 years 6 months ago
1999
Springer
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...
148
click to vote
IESS
2007
Springer
15 years 8 months ago
2007
Springer
To overcome the complexity in System-on-Chip (SoC) design, researchers have developed sophisticated design flows that significantly reduce the development time through automation...
94
Voted
WWW
2001
ACM
16 years 2 months ago
2001
ACM
This paper presents the XML/XSL approach to the development of a web environment for the formal speci cation language Object-Z. The projection techniques and tools from Object-Z (...
121
click to vote
ENTCS
2006
15 years 1 months ago
2006
Component based development is a promising approach for embedded systems. Typical for embedded software is the presence of resource constraints in multiple dimensions. An essentia...