6581 search results - page 211 / 1317 » Formalizing Design Patterns |
126
Voted
SAS
2000
Springer
15 years 7 months ago
2000
Springer
Design constraints express essential behavioural properties of a software system. Two key elements of a scheme for enforcing design constraints are presented: a logic for describin...
129
click to vote
FORTE
1990
15 years 4 months ago
1990
The importance of a design methodology when using Formal Description Techniques is generally agreed in the scientific community. This paper presents some design principles and con...
110
click to vote
DEXAW
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract--Interdependencies between different security patterns can influence the properties of a particular pattern when applied in conjunction with other patterns. The resulting ...
119
click to vote
SAC
2008
ACM
15 years 3 months ago
2008
ACM
When developing semantic applications, the construction of ontologies is a crucial part. We are developing a semiautomatic ontology construction approach, OntoCase, relying on ont...
137
Voted
OTM
2005
Springer
15 years 9 months ago
2005
Springer
Courseware increasingly consists of generic information and communication tools. These offer a plethora of functionalities, but their usefulness to a particular learning community ...