3799 search results - page 553 / 760 » An Engineering Approach to Formal Methods |
169
click to vote
KBSE
1998
IEEE
15 years 10 months ago
1998
IEEE
Statically analyzing requirements specifications to assure that they possess desirable properties is an important activity in any rigorous software development project. The analys...
168
click to vote
AOSD
2007
ACM
15 years 10 months ago
2007
ACM
Aspect-oriented programming languages select join points using pointcut constructs that depend on the syntactic structure of the base program. As the base program evolves, the poi...
176
click to vote
AOSE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Nowadays, information systems have to perform in complex, heterogeneous environments, considering a variety of system users with different needs and preferences. Software...
209
click to vote
CG
2006
Springer
15 years 6 months ago
2006
Springer
s: clustering, denoising, sharp feature, shape abstraction, reverse engineering In this paper we describe a hierarchical face clustering algorithm for triangle meshes based on fit...
192
click to vote
WEBI
2010
Springer
15 years 4 months ago
2010
Springer
Latent relational search is a new search paradigm based on the degree of analogy between two word pairs. A latent relational search engine is expected to return the word Paris as a...