16725 search results - page 588 / 3345 » Engineering Software Correctness |
195
click to vote
ICFEM
2004
Springer
16 years 16 days ago
2004
Springer
Abstract. We present a correctness proof for a basic file system implementation. This implementation contains key elements of standard Unix file systems such as inodes and fixed...
163
click to vote
IEEEICCI
2007
IEEE
16 years 1 months ago
2007
IEEE
– Object-Oriented Analysis (OOA) has been proposed and applied in software engineering for more than fifteen years. Many researchers and practitioners have published many article...
206
click to vote
ETFA
2006
IEEE
16 years 1 months ago
2006
IEEE
Industrial automation systems may include people, hardware, software and others necessaries to produce the desirable results. The SysML modeling language is being proposed, by OMG...
180
click to vote
EMSOFT
2005
Springer
16 years 21 days ago
2005
Springer
— Typical embedded hardware/software systems are implemented using a combination of C and an HDL such as Verilog. While each is well-behaved in isolation, combining the two gives...
171
click to vote
GROUP
2003
ACM
16 years 12 days ago
2003
ACM
Reconciliating divergent data is an important issue in concurrent engineering, mobile computing and software configuration management. Currently, a lot of synchronizers or merge ...