1799 search results - page 220 / 360 » The Logic of Correctness in Software Engineering |
164
click to vote
ICFEM
2004
Springer
15 years 12 months 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...
148
click to vote
IEEEICCI
2007
IEEE
16 years 25 days 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...
142
click to vote
WSC
2008
15 years 8 months ago
2008
One of the most important challenges for mining engineers is to correctly analyze and generate short-term planning schedules, or simply month mining plan. The objective is to demo...
193
click to vote
ETFA
2006
IEEE
16 years 18 days 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...
159
click to vote
EMSOFT
2005
Springer
16 years 2 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...