2118 search results - page 265 / 424 » Execution of A Requirement Model in Software Development |
128
click to vote
PTS
2007
15 years 6 months ago
2007
Abstract. We propose an extension of the Finite State Machine framework in distributed systems, using input/output partial order automata (IOPOA). In this model, transitions can be...
118
click to vote
VSTTE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Many well-established concepts of object-oriented programming work for individual objects, but do not support object structures. The development of a verifying compiler r...
159
Voted
KBSE
2009
IEEE
15 years 11 months ago
2009
IEEE
Methods in object-oriented concurrent libraries hide internal synchronization details. However, information hiding may result in clients causing thread safety violations by invoki...
127
click to vote
IWPC
2007
IEEE
15 years 10 months 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...
126
click to vote
FIW
2009
15 years 2 months ago
2009
One of the most difficult tasks in software development is that features are implemented by changing the code of other features. This problem cannot be solved with existing general...