658 search results - page 55 / 132 » A formal approach to object-oriented software engineering |
146
Voted
HICSS
2002
IEEE
15 years 9 months ago
2002
IEEE
Modular design methodologies, which decompose large and complex systems into components that are relatively easy to develop and maintain, have been widely adopted in the software ...
160
click to vote
FASE
2008
Springer
15 years 6 months ago
2008
Springer
Web services are open, interoperable, easy to integrate and reuse, and are extensively used in many application domains. Research and best practices have produced excellent support...
185
click to vote
ISARCS
2010
15 years 6 months ago
2010
Voting is a critical component of any democratic process; and electronic voting systems should be developed following best practices for critical system development. E-voting has i...
141
click to vote
ICFCA
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. In the past years Software Engineering has experienced several difficulties in modularising crosscutting aspects, like shared, dynamic or scattered behavior of object-ori...
145
click to vote
ICFEM
2003
Springer
15 years 9 months ago
2003
Springer
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...