1601 search results - page 61 / 321 » The affordable application of formal methods to software eng... |
CSMR
2007
IEEE
14 years 3 months ago
2007
IEEE
The diffusion of service oriented architectures is slowed down by the lack of enough services available for satisfying service integrator needs. Nevertheless, many features desire...
SIGSOFT
2008
ACM
14 years 9 months ago
2008
ACM
Getting the right software requirements under the right environment assumptions is a critical precondition for developing the right software. This task is intrinsically difficult....
ISEMANTICS
2010
13 years 10 months ago
2010
We present the STEX system, a semantic extension of LATEX, that allows for producing high-quality PDF documents for (proof)reading and printing, as well as semantic XML/OMDoc docu...
NJC
2006
13 years 9 months ago
2006
Object-oriented frameworks play an essential role in the implementation of product-line architectures (PLAs) for product families. However, recent case studies reveal that deriving...
IWPC
2007
IEEE
14 years 3 months ago
2007
IEEE
The paper addresses the problem of concept location in source code by presenting an approach which combines Formal Concept Analysis (FCA) and Latent Semantic Indexing (LSI). In th...