2409 search results - page 17 / 482 » Logical systems for structured specifications |
158
click to vote
FMCAD
2004
Springer
15 years 9 months ago
2004
Springer
We present a functional approach, based on the ACL2 logic, for the specification of system on a chip communication architectures. Our decomposition of the communications allows the...
170
click to vote
CDC
2009
IEEE
15 years 3 months ago
2009
IEEE
Abstract-- We consider the problem of controlling a discretetime piecewise affine (PWA) system from a specification given as a Linear Temporal Logic (LTL) formula over linear predi...
137
click to vote
ECBS
1999
IEEE
15 years 10 months ago
1999
IEEE
Model interpreters play an essential role in modelintegrated systems: they transform domain-specific models into executable models. The state-ot-the-art of model interpreter writi...
162
click to vote
JUCS
2002
15 years 5 months ago
2002
: Different models and methodologies for the development of hypermedia systems and applications have emerged in the recent years. Software-technical methods and principles enriched...
168
click to vote
ECOOP
1995
Springer
15 years 9 months ago
1995
Springer
PSL is a framework for describing dynamic and architectural properties of open systems. PSL extends established interface-based tactics for describing the functional properties of...