7139 search results - page 383 / 1428 » Language Engineering in Practice |
157
Voted
PPPJ
2003
ACM
16 years 23 days ago
2003
ACM
Java programs that utilize standard extensions with native libraries are problematic since the extensions are platform dependent. We present general methods that make such program...
178
Voted
COMPSAC
2002
IEEE
16 years 15 days ago
2002
IEEE
Recently SOFL (Structured-Object-based-Formal Language) has been extended to a formal object-oriented language and method while keeping its structured features. This extension all...
187
click to vote
FSTTCS
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation ...
206
Voted
AMAST
2006
Springer
15 years 11 months ago
2006
Springer
This article demonstrates how a powerful and expressive ion from concurrency theory--monads of resumptions--plays a dual r^ole as a programming tool for concurrent applications. Th...
171
click to vote
ENTCS
2006
15 years 7 months ago
2006
Working with models often requires the ability to assert the compliance of a given model to a given set of constraints. Some tools are able to check OCL invariants on UML models. ...