648 search results - page 13 / 130 » Software requirements validation via task analysis |
ECOWS
2006
Springer
14 years 1 months ago
2006
Springer
Loose coupling is often cited as a defining characteristic of service-oriented architectures. Interactions between services take place via messages in an asynchronous environment ...
CTW
2006
13 years 9 months ago
2006
Cognitive task analysis (CTA) approaches are currently needed in many domains to provide explicit guidance on redesigning existing systems. This study used goal-directed task analy...
ICFEM
2004
Springer
14 years 3 months ago
2004
Springer
A formal framework for software development and analysis is presented, which aims at reducing the gap between formal specification and implementation by integrating the two and al...
POPL
2011
ACM
13 years 20 days ago
2011
ACM
We consider programs for embedded real-time systems which use priority-driven preemptive scheduling with task priorities adjusted dynamically according to the immediate ceiling pr...
CCE
2011
13 years 4 months ago
2011
Selective liquid membranes have been traditionally employed for liquid/liquid and gas/liquid mass transfer in a wide range of applications. In particular, the Emulsion Pertraction...