803 search results - page 128 / 161 » Building Formal Models for Software Requirements |
120
Voted
WWW
2005
ACM
16 years 2 months ago
2005
ACM
We present a language for specifying web service interfaces. A web service interface puts three kinds of constraints on the users of the service. First, the interface specifies th...
154
Voted
CHI
1997
ACM
15 years 6 months ago
1997
ACM
MOBI-D (Model-Based Interface Designer) is a software environment the design and development of user interfaces from declarative interface models. End-users informally describe ta...
101
click to vote
DLOG
2003
15 years 3 months ago
2003
Description Logics (DLs), as a field of research, form a formal foundation of first-order semantic Web ontology languages, such as DAML+OIL and OWL. The Semantic Web will build ...
135
Voted
COMPSAC
2010
IEEE
14 years 12 months ago
2010
IEEE
In distributed IT systems, replication of information is commonly used to strengthen the fault tolerance on a technical level or the autonomy of an organization on a business level...
112
click to vote
JISBD
2001
15 years 3 months ago
2001
Existing tools intended to build and deploy engaging complex Web sites (including functionality) have shown to be inadequate to face the software production process in an unified a...