2253 search results - page 34 / 451 » An Approach to Specifying Software Frameworks |
124
Voted
EWSPT
2003
Springer
15 years 8 months ago
2003
Springer
The issue of building a Process Support System Environment (PSSE), or a family of PSEE, to make them interoperate or to use them to pilot applications or services requires new solu...
103
Voted
FASE
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. In this paper, we present an automata-theoretic approach to Hardware/Software (HW/SW) co-verification. We designed a co-specification framework describing HW/SW systems; ...
105
Voted
QSIC
2007
IEEE
15 years 9 months ago
2007
IEEE
Current WSDL-based description specifies only the operation signatures and locations of Web services. It is widely recognized that a richer description is needed. WS-Security, WS-...
129
click to vote
TACS
1994
Springer
15 years 7 months ago
1994
Springer
Abstract. We have designed a programming logic based on an integration of functional programming languages with classical set theory. The logic merges a classical view of equality ...
140
Voted
VL
2009
IEEE
15 years 10 months ago
2009
IEEE
Domain specific languages (DSLs) play a cornerstone Model-Driven Software Development. The abstract syntax of a DSL is usually defined by a metamodel, while inplace model transf...