1799 search results - page 247 / 360 » The Logic of Correctness in Software Engineering |
148
click to vote
ICSM
2007
IEEE
16 years 24 days ago
2007
IEEE
Many small and medium-sized systems have little or no design documentation, which makes program understanding during maintenance enormously more difficult when performed by outsi...
154
click to vote
IWPC
2007
IEEE
16 years 23 days ago
2007
IEEE
A workflow is a computerized specification of a business process. A workflow describes how tasks are executed and ordered following business policies. E-commerce systems implement...
159
click to vote
TASE
2007
IEEE
16 years 23 days ago
2007
IEEE
The design of an embedded control system starts with an investigation of properties and behaviors of the process evolving within its environment, and an analysis of the requiremen...
168
click to vote
B
2007
Springer
16 years 20 days ago
2007
Springer
Symmetry reduction is an established method for limiting the amount of states that have to be checked during exhaustive model checking. The idea is to only verify a single represen...
186
click to vote
ICSE
2007
IEEE-ACM
16 years 19 days ago
2007
IEEE-ACM
Abstract. We describe an approach to designing and implementing a distributed system as a family of related finite state machines, generated from a single abstract model. Various a...