129 search results - page 2 / 26 » IBDL: A Language for Interface Behavior Specification and Te... |
ENTCS
2006
13 years 6 months ago
2006
Behavioral interface specification languages, such as Java Modeling Language (JML), can be used to specify the behavior of program modules. We have developed a behavioral interfac...
APSEC
1999
IEEE
13 years 10 months ago
1999
IEEE
The Object Constraint Language (OCL) is a precise language which could be used for describing constraints on object-oriented models and other modelling artifacts. The kind of cons...
TSE
2002
13 years 5 months ago
2002
In this paper, we propose a means to enhance an architecture description language with a description of component behavior. A notation used for this purpose should be able to expr...
SIGSOFT
2007
ACM
14 years 6 months ago
2007
ACM
Malware detectors require a specification of malicious behavior. Typically, these specifications are manually constructed by investigating known malware. We present an automatic t...
GW
2009
Springer
13 years 3 months ago
2009
Springer
Speakers in all cultures and ages use gestures as they speak (i.e., cospeech gestures). There have been different views in the literature with regard to whether and how a specific ...