1341 search results - page 179 / 269 » Logic for Modeling Product Structure |
113
Voted
ERLANG
2006
ACM
15 years 9 months ago
2006
ACM
We present the new model checker McErlang for verifying Erlang programs. In comparison with the etomcrl tool set, McErlang differs mainly in that it is implemented in Erlang. The ...
121
Voted
CAISE
2005
Springer
15 years 9 months ago
2005
Springer
To achieve inter-enterprise software interoperability, the semantics of interchanged information by using electronic business documents, has to be explicitly modeled. A common appr...
141
Voted
ISM
2005
IEEE
15 years 9 months ago
2005
IEEE
The development of highly interactive multimedia applications is still a challenging and complex task. In addition to the application logic multimedia applications typically provi...
116
Voted
ASE
2008
15 years 3 months ago
2008
Goal-oriented methods are increasingly popular for elaborating software requirements. They offer systematic support for incrementally building intentional, structural, and operati...
121
Voted
FMSD
2006
15 years 3 months ago
2006
Two base algorithms are known for reachability verification over timed automata. They are called forward and backwards, and traverse the automata edges using either successors or p...