Sciweavers

7835 search results - page 1301 / 1567
» Software are Processes Too
Sort
View
ITICSE
2003
ACM
15 years 12 months ago
Studying program correctness by constructing contracts
Because the concept of program correctness is generally taught as an activity independent of the programming process, most introductory computer science (CS) students perceive it ...
Timothy S. Gegg-Harrison, Gary R. Bunce, Rebecca D...
COOPIS
2002
IEEE
15 years 11 months ago
Formal Ontology Engineering in the DOGMA Approach
This paper presents a specifically database-inspired approach (called DOGMA) for engineering formal ontologies, implemented as shared resources used to express agreed formal semant...
Mustafa Jarrar, Robert Meersman
HICSS
2002
IEEE
142views Biometrics» more  HICSS 2002»
15 years 11 months ago
Multi-perspective Enterprise Modeling (MEMO) - Conceptual Framework and Modeling Languages
For many companies, the strategic as well as the organizational fit of their information systems is a pivotal factor for staying competitive. At the same time, there is an increas...
Ulrich Frank
TES
2001
Springer
15 years 11 months ago
Security for Distributed E-Service Composition
Current developments show that tomorrow’s information systems and applications will no longer be based on monolithic architectures that encompass all the functionality. Rather, t...
Stefan Seltzsam, Stephan Börzsönyi, Alfo...
WWW
2010
ACM
15 years 11 months ago
visKQWL, a visual renderer for a semantic web query language
KiWi is a semantic Wiki that combines the Wiki philosophy of collaborative content creation with the methods of the Semantic Web in order to enable effective knowledge management...
Andreas Hartl, Klara A. Weiand, François Br...
« Prev « First page 1301 / 1567 Last » Next »