1407 search results - page 177 / 282 » Using Use Cases in Executable Z |
149
click to vote
EDOC
2009
IEEE
15 years 8 months ago
2009
IEEE
- Poor data in information systems impede the quality of decision-making in many modern organizations. Manual business process activities and application services are never execute...
130
Voted
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper presents an environment based on SystemC for architecture specification of programmable systems. Making use of the new architecture description language ArchC, able to ...
142
Voted
CBSE
2006
Springer
15 years 7 months ago
2006
Springer
Ideally in the deployment phase, components should be composable, and their composition checked. Current component models fall short of this ideal. Most models do not allow composi...
134
click to vote
COORDINATION
2006
Springer
15 years 7 months ago
2006
Springer
How to coordinate the processes in a complex component-based software system is a nontrivial issue. Many different coordination approaches exist, each with its own specific advanta...
139
click to vote
FLOPS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We present a practical tool for defining and proving properties of recursive functions in the Coq proof assistant. The tool generates from pseudo-code the graph of the in...