2748 search results - page 267 / 550 » Generating Object-Z Specifications from Use Cases |
152
click to vote
VAMOS
2007
Springer
15 years 10 months ago
2007
Springer
The Feature–Oriented approach provides a way of modelling commonalities and variabilities among products of a software product line. A feature model can be used as input for gen...
150
click to vote
ICST
2009
IEEE
15 years 10 months ago
2009
IEEE
Web Services (WSs) are the W3C-endorsed realization of the Service-Oriented Architecture (SOA). Since they are supposed to be implementation-neutral, WSs are typically tested blac...
135
click to vote
APAL
2010
15 years 4 months ago
2010
Abstract. We develop a general algebraic and proof-theoretic study of substructural logics that may lack associativity, along with other structural rules. Our study extends existin...
101
click to vote
SIAMAM
2000
15 years 3 months ago
2000
Hopf bifurcation theory for an oscillator subject to a weak feedback but a large delay is investigated for a specific laser system. The problem is motivated by semiconductor laser ...
156
click to vote
PVLDB
2008
15 years 2 months ago
2008
Data exchange is the process of converting an instance of one schema into an instance of a different schema according to a given specification. Recent data exchange systems have l...