497 search results - page 34 / 100 » Compositional Matrix-Space Models of Language |
113
Voted
ASM
2010
ASM
15 years 7 months ago
2010
ASM
Abstract. Feature-oriented modelling is a well-known approach for Software Product Line (SPL) development. It is a widely used method when developing groups of related software. Wi...
96
Voted
SEFM
2005
IEEE
15 years 6 months ago
2005
IEEE
We present an interface theory based approach to static analysis of actor models. We first introduce a new interface theory, which is based on Interface Automata, and which is ca...
78
Voted
JLP
2007
15 years 10 days ago
2007
We revisit the SL synchronous programming model introduced by Boussinot and De Simone (IEEE, Trans. on Soft. Eng., 1996). We discuss an alternative design of the model including t...
103
click to vote
ISPAN
2002
IEEE
15 years 5 months ago
2002
IEEE
Abstract— In this paper, we propose an ontology specification for JavaBean programs, the object component model of Java. Our specification is written using the DAML+OIL languag...
82
Voted
ICECCS
2005
IEEE
15 years 6 months ago
2005
IEEE
When designing a complex system, Object-Z is a powerful logic-based language for modeling the system state aspects, and Timed Automata is an excellent graph-based notation for cap...