3792 search results - page 231 / 759 » Techniques for Trusted Software Engineering |
146
click to vote
FM
1994
Springer
15 years 10 months ago
1994
Springer
For whatever reason, formal methods remain one of the more contentious techniques in industrial software engineering. Despite some improvement in the uptake of formal methods, it i...
152
click to vote
ICSE
1994
IEEE-ACM
15 years 10 months ago
1994
IEEE-ACM
Abstract. This paper describes recent work concerned with the speci cation of requirements on interactive systems and the de nition of user-level properties of such systems. A form...
152
click to vote
EUROMICRO
2004
IEEE
15 years 10 months ago
2004
IEEE
We illustrate a symbiotic relationship between existing model oriented specification techniques and web services. Through the formal re-design of a platform for mobile team collab...
169
click to vote
EUROMICRO
2004
IEEE
15 years 10 months ago
2004
IEEE
The paper summarizes three years of experience of introducing agile practices in academic environments. The perceptions of students from four different academic programs (Diploma,...
147
click to vote
ECLIPSE
2005
ACM
15 years 8 months ago
2005
ACM
Sharing mutable data (via aliasing) is a powerful programming technique. To facilitate sharing, object-oriented programming languages permit the programmer to selectively break en...