3216 search results - page 412 / 644 » The Oregon Software Development Process |
173
click to vote
COMPSAC
2007
IEEE
16 years 29 days ago
2007
IEEE
As Service Centric (SC) Systems are being increasingly adopted, new challenges and possibilities emerge. Business processes are now able to execute seamlessly across organizations...
183
click to vote
B
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Writing a formal specification for real-life, industrial problems is a difficult and error prone task, even for experts in formal methods. In the process of specifying a...
155
click to vote
ECTEL
2007
Springer
16 years 24 days ago
2007
Springer
Today, systems should react based on explicit demands from the learner or even proactively react based on changes in the working environment. The success of this type of systems de...
147
click to vote
RE
2007
Springer
16 years 23 days ago
2007
Springer
Scenarios are widely and successfully used to discover requirements for software-intensive systems. Recent advances in mobile computing technologies mean that mobile tools can sup...
166
click to vote
ASWEC
2006
IEEE
16 years 21 days ago
2006
IEEE
This paper describes the formalisation of Java thread synchronisation in an extended Owicki-Gries theory, which facilitates the proof of safety and progress properties of multi-th...