Sciweavers

1209 search results - page 143 / 242
» Using Prosodic Features in Language Models for Meetings
Sort
View
122
Voted
UML
2004
Springer
15 years 9 months ago
OCL and Model Driven Engineering
Precise modeling is essential to the success of the OMG’s Model Driven Architecture initiative. At the modeling level (M1) OCL allows for the precision needed to write executable...
Jean Bézivin, Thomas Baar, Tracy Gardner, M...
132
Voted
ESOP
2006
Springer
15 years 7 months ago
A Verification Methodology for Model Fields
Model fields are specification-only fields that encode abstractions of the concrete state of a data structure. They allow specifications to describe the behavior of object-oriented...
K. Rustan M. Leino, Peter Müller
97
Voted
CCE
2008
15 years 3 months ago
Object-oriented modelling of virtual-labs for education in chemical process control
Easy Java Simulations (Ejs) and Sysquake are two software tools specifically intended for implementation of virtual-labs. They allow easy definition of the virtuallab view (i.e., ...
Carla Martin-Villalba, Alfonso Urquia, Sebasti&aac...
131
Voted
UML
2001
Springer
15 years 8 months ago
Refactoring UML Models
Software developers spend most of their time modifying and maintaining existing products. This is because systems, and consequently their design, are in perpetual evolution before ...
Gerson Sunyé, Damien Pollet, Yves Le Traon,...
AOSD
2010
ACM
15 years 8 months ago
Composing aspects with aspects
Aspect-oriented programming languages modularize crosscutting concerns by separating the concerns from a base program in aspects. What they do not modularize well is the code need...
Antoine Marot, Roel Wuyts