658 search results - page 73 / 132 » A formal approach to object-oriented software engineering |
142
click to vote
SLE
2009
Springer
15 years 11 months ago
2009
Springer
Model Driven Engineering (MDE) is a promising paradigm for development. It raises the level of abstraction in software development by treating models as primary artifacts. The prac...
122
click to vote
APSEC
1999
IEEE
15 years 9 months ago
1999
IEEE
The ability to treat code as data within a programming language is a powerful feature. Smalltalk introduces an object called a block that represents code as data. We propose a for...
154
click to vote
COMPSAC
2003
IEEE
15 years 10 months ago
2003
IEEE
Securely accessing unfamiliar services in public environments using ad hoc wireless networks is challenging. We present a proxy-based approach that uses other existing network cha...
159
click to vote
RE
2010
Springer
14 years 11 months ago
2010
Springer
An approach is suggested for arguing that a system is dependable. The key idea is to structure the system so that critical requirements are localized in small, reliable subsets of ...
133
click to vote
WWW
2004
ACM
16 years 5 months ago
2004
ACM
The understanding of Semantic Web documents is built upon ontologies that define concepts and relationships of data. Hence, the correctness of ontologies is vital. Ontology reason...