1888 search results - page 49 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
136
click to vote
ECBS
2005
IEEE
15 years 8 months ago
2005
IEEE
CSP++ is an object-oriented application framework for execution of CSP specifications that have been automatically synthesized into C++ source code by the cspt translator. We desc...
120
Voted
KBSE
2000
IEEE
15 years 6 months ago
2000
IEEE
Testing has a vital support role in the software engineering process, but developing tests often takes significant resources. A formal specification is a repository of knowledge a...
120
Voted
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
Control algorithms implemented directly in hardware take advantage of parallel signal processing. Furthermore, implementing controller functionality in reconfigurable hardware fac...
116
Voted
APWEB
2005
Springer
15 years 8 months ago
2005
Springer
Complex structure and varying requirements increase the difficulties in developing domain specific Web Information Systems. People appeal to a smart tool to customize Web Informati...
138
Voted
CSMR
2008
IEEE
15 years 4 months ago
2008
IEEE
The software industry is increasingly facing the issues of understanding and maintaining a particular type of software systems, namely distributed systems. While these systems are...