1088 search results - page 89 / 218 » Tools for support of automata-based programming |
191
click to vote
FCCM
2011
IEEE
14 years 1 months ago
2011
IEEE
—The problem of automatically generating hardware modules from a high level representation of an application has been at the research forefront in the last few years. In this pap...
ICSE
2007
IEEE-ACM
15 years 10 months ago
2007
IEEE-ACM
We propose a mechanism for object access control which is based on the UML. Specifically, we propose use of ownership and immutability constraints on UML associations and verifica...
TOOLS
2000
IEEE
15 years 2 months ago
2000
IEEE
With this contribution we present a design and development method for distributed applications, which are running on top of advanced object middleware platforms. We introduce the ...
ECOOP
2004
Springer
15 years 3 months ago
2004
Springer
Today’s mainstream object-oriented compilers and tools do not support declaring and statically checking simple pre- and postconditions on methods and invariants on object represe...
ICAC
2005
IEEE
15 years 3 months ago
2005
IEEE
Track 2 - Modeling and Abstraction of Services Process Session Chair: Dynamic Service Invocation Control in Service Composition Environments (SCC2010-2004) ...........................