Sciweavers

5415 search results - page 696 / 1083
» The Implementation of Functional Programming Languages
Sort
View
ICST
2008
IEEE
16 years 1 months ago
A JML Compiler Based on AspectJ
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed with the aim of improving the functional software cor...
Henrique Rebêlo, Ricardo Massa Ferreira Lima...
SEMWEB
2001
Springer
15 years 11 months ago
A semantic model for specifying data-intensive Web applications using WebML
Abstract. WebML (Web Modelling Language) is a language for the design of dataintensive Web sites. It is supported by visual tools allowing the definition of the conceptual data or...
Sara Comai, Piero Fraternali
DSML
2008
116views Formal Methods» more  DSML 2008»
15 years 8 months ago
Bidirectional Synchronization of Multiple Views of Software Models
: Current best-practices for defining Domain-Specific Modeling Languages call for metamodeling techniques, which do not take into account the future use of such languages in multiv...
Miguel Garcia
ACL
1998
15 years 8 months ago
A Computational Model of Social Perlocutions
The view that communication is a form of action serving a variety of specific functions has had a tremendous impact on the philosophy of language and on computational linguistics....
David Pautler, Alex Quilici
AVI
1996
15 years 8 months ago
A framework for user-interfaces to databases
A framework for user-interfaces to databases (IDSs) is proposed which draws from existing research on human computer interaction (HCI) and database systems. The framework is descr...
Kenneth J. Mitchell, Jessie B. Kennedy, Peter J. B...