3441 search results - page 453 / 689 » Provenance of Software Development Processes |
134
click to vote
B
2007
Springer
15 years 10 months 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...
122
click to vote
ECTEL
2007
Springer
15 years 10 months 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...
109
click to vote
RE
2007
Springer
15 years 10 months 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...
123
click to vote
ASWEC
2006
IEEE
15 years 10 months 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...
139
Voted
COMSWARE
2006
IEEE
15 years 10 months ago
2006
IEEE
ing a middleware abstraction layer into wireless sensor networks is a widely accepted solution to facilitate application programming and allow network organization. In this paper,...