715 search results - page 85 / 143 » Application of Formal Methods to the Development of a Softwa... |
ICSE
2005
IEEE-ACM
14 years 9 months ago
2005
IEEE-ACM
Sensitive data are increasingly available on-line through the Web and other distributed protocols. This heightens the need to carefully control access to data. Control means not o...
NLDB
2010
Springer
14 years 25 days ago
2010
Springer
Abstract. An important software engineering artefact used by developers and maintainers to assist in software comprehension and maintenance is source code documentation. It provide...
IEEESCC
2008
IEEE
14 years 3 months ago
2008
IEEE
Enterprise IT environments are complex: business applications rely on distributed middleware running on diverse hardware with components depending on each other in many unexpected...
WSCG
2001
13 years 10 months ago
2001
Research performed in the field of computer vision has steadily ignored recent advances in programming tools and techniques, relying on well-established traditional methods, such ...
FASE
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...