1153 search results - page 51 / 231 » Compositional Specification Calculus for Information Systems... |
148
click to vote
UTP
2010
15 years 1 months ago
2010
Abstract. The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing fo...
201
click to vote
JUCS
2010
14 years 10 months ago
2010
: The idea of developing software through systematic development processes to improve software quality is not new. Nevertheless, there are still many information systems such as th...
144
click to vote
ECBS
1999
IEEE
15 years 8 months ago
1999
IEEE
Model integrated computing (MIC) is gaining increased attention as an effective and efficient method for developing, maintaining, and evolving large-scale, domain-specific softwar...
149
Voted
I3E
2008
15 years 5 months ago
2008
Abstract. Many e-commerce sites use a recommendation system to filter the specific information that a user wants out of an overload of information. Currently, the usefulness of the...
135
click to vote
CLEIEJ
2010
15 years 1 months ago
2010
Global Model Management (GMM) is a model-based approach for managing large sets of interrelated heterogeneous and complex MDE artifacts. Such artifacts are usually represented as ...