1229 search results - page 53 / 246 » Reflections on the Design of a Specification language |
DBPL
1989
Springer
15 years 3 months ago
1989
Springer
Several proposals have been published in recent years for database programming languages (DBPLs), many of which have been object-oriented. Our goal in this paper is not to argue f...
114
click to vote
EKAW
2008
Springer
15 years 1 months ago
2008
Springer
Query formulation is a key aspect of information retrieval, contributing to both the efficiency and usability of many semantic applications. A number of query languages, such as SP...
ICSE
1993
IEEE-ACM
15 years 3 months ago
1993
IEEE-ACM
Software designers compose systems from components written in some prolanguage. They regularly describe systems using abstract patterns and sophisticated relations among component...
130
click to vote
CSI
2007
14 years 11 months ago
2007
The Reference Model of Open Distributed Processing (RM-ODP) is a joint standardization effort by ITU-T and ISO/IEC for the specification of large open distributed systems. RM-ODP ...
UML
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. In this paper, we propose a verification methodology for System-OnChip (SoC) design using Unified Modeling Language (UML). We introduce UML as a formal model to analyze a...