2881 search results - page 222 / 577 » Model Checking for Programming Languages using Verisoft |
181
click to vote
MEMOCODE
2010
IEEE
15 years 4 months ago
2010
IEEE
Monitoring temporal SystemC properties is crucial for the validation of functional and transaction-level models, yet the current SystemC standard provides no support for temporal s...
159
click to vote
ESEC
1997
Springer
15 years 10 months ago
1997
Springer
Software architectures shift developers’ focus from lines-of-code to coarser-grained architectural elements and their interconnection structure. Architecture description language...
179
click to vote
DOCENG
2009
ACM
15 years 4 months ago
2009
ACM
This paper focuses on the support provided by NCL (Nested Context Language) to relate objects with imperative code content and declarative hypermedia-objects (objects with declara...
180
Voted
FSEN
2007
Springer
15 years 8 months ago
2007
Springer
In this paper we study how roles can be added to patterns modelling relationships in Object Oriented programming. Relationships can be introduced in programming languages either by...
167
click to vote
WOA
2000
15 years 7 months ago
2000
In the realization of agent-based applications the developer generally needs to use heterogeneous agent architectures, so that each application component can optimally perform its...