Sciweavers

3819 search results - page 524 / 764
» An Outsourcing Model of Software Development
Sort
View
SEKE
2005
Springer
15 years 11 months ago
Institution Morphisms for Relating OWL and Z
Checking for properties of Web ontologies is important for the development of reliable Semantic Web systems. Software specification and verification tools can be used to complem...
Dorel Lucanu, Yuan-Fang Li, Jin Song Dong
EUROMICRO
2003
IEEE
15 years 11 months ago
Enforcing a lips Usage Policy for CORBA Components
Software components promise easy reuse, dependability, and simplified development. Problems arise when implicit assumptions about the use of the component are encoded in the imple...
Wayne DePrince Jr., Christine Hofmeister
ICEIS
2003
IEEE
15 years 11 months ago
An Agent-Mediated Marketplace for Transportation Transactions
This paper reports on the development of an innovative agent-mediated electronic marketplace, which is able to efficiently handle transportation transactions of various types. Soft...
Nikos I. Karacapilidis, Alexis Lazanas, Pavlos Mor...
ECOOPW
1998
Springer
15 years 10 months ago
Workshop Report - ECOOP'98 Workshop 7: Tools and Environments for Business Rules
This workshop focussed on the requirements for tools and environments that support business rules in an object-oriented setting and attempted to provide an overview of possible tec...
Kim Mens, Roel Wuyts, Dirk Bontridder, Alain Grijs...
GIS
1995
ACM
15 years 9 months ago
Object-Oriented Requirements Engineering for GIS Applications
We stress the importance of requirements engineering (RE) for the development of large scale software in general and for GIS-applications in particular. RE analyses the problem do...
Georg Kösters, Bernd-Uwe Pagel, Hans-Werner S...