6581 search results - page 45 / 1317 » Formalizing Design Patterns |
124
click to vote
SEFM
2003
IEEE
15 years 7 months ago
2003
IEEE
Despite the advances in software engineering since 1968, current methods for going from a set of functional requirements to a design are not as direct, repeatable and constructive...
102
click to vote
ICSE
1994
IEEE-ACM
15 years 6 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...
107
click to vote
EUROMICRO
2004
IEEE
15 years 6 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...
158
Voted
CLA
2004
15 years 3 months ago
2004
Ontologies, often defined as an explicit specification of conceptualization, are necessary for knowledge representation and knowledge exchange. Usually this means that ontology des...
ICSE
2003
IEEE-ACM
16 years 2 months ago
2003
IEEE-ACM