6201 search results - page 1143 / 1241 » Implementation of Axiomatic Language |
140
click to vote
EDOC
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper presents a conceptual framework for service modelling and refinement, called the COSMO (COnceptual Service MOdelling) framework. This framework provides concepts to mode...
140
click to vote
EWSA
2006
Springer
15 years 8 months ago
2006
Springer
An architectural aspect is a concern that cuts across architecture ty units and cannot be effectively modularized using the given abstractions of conventional Architecture Descript...
148
click to vote
FASE
2006
Springer
15 years 8 months ago
2006
Springer
Techniques for inferring a regular language, in the form of a finite automaton, from a sufficiently large sample of accepted and nonaccepted input words, have been employed to cons...
132
click to vote
FASE
2006
Springer
15 years 8 months ago
2006
Springer
Modern software codebases are frequently large, heterogeneous, and constantly evolving. The languages and tools for software construction, including code builds and configuration m...
154
Voted
IFIP
2000
Springer
15 years 8 months ago
2000
Springer
ducational Resources Information Center) the on-line education abstracts, show 15,000 entries under "computers and education" since 1992. Adoption of some level of inform...