1375 search results - page 222 / 275 » SDL-2000: A Language with a Formal Semantics |
103
click to vote
UML
2005
Springer
15 years 3 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
182
click to vote
ICDE
2007
IEEE
15 years 11 months ago
2007
IEEE
The popularity of XML has motivated the development of novel XML processing tools many of which embed the XPath language for XML querying, transformation, constraint specification...
WWW
2005
ACM
15 years 10 months ago
2005
ACM
Server-side programming is one of the key technologies that support today's WWW environment. It makes it possible to generate Web pages dynamically according to a user's...
ECMDAFA
2005
Springer
15 years 3 months ago
2005
Springer
Language-centric methodologies, triggered by the success of Domain Specific Languages, rely on precise specifications of modeling s. While the definition of the abstract syntax ...
ASIAN
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. We aim to provide information hiding support in concurrent object-oriented programming languages. We study the issue both at the object level and class level, in the cont...