403 search results - page 67 / 81 » Integrating Z into Large Projects Tools and Techniques |
IPPS
2000
IEEE
15 years 1 months ago
2000
IEEE
Discovering complex associations, anomalies and patterns in distributed data sets is gaining popularity in a range of scientific, medical and business applications. Various algor...
SIGSOFT
2008
ACM
15 years 10 months ago
2008
ACM
Program specifications are important for many tasks during software design, development, and maintenance. Among these, temporal specifications are particularly useful. They expres...
ELPUB
2006
ACM
15 years 3 months ago
2006
ACM
Various new imaging techniques have been used at the C2RMF, in order to digitize paintings and objects. These techniques are used for extensive and detailed non-destructive analys...
ICSR
2004
Springer
15 years 2 months ago
2004
Springer
This paper describes a feature modelling technique aimed at modelling the software assets behind a product family. The proposed technique is distinctive in five respects. First, it...
CIKM
2009
Springer
15 years 4 months ago
2009
Springer
We are building an interactive, visual text analysis tool that aids users in analyzing a large collection of text. Unlike existing work in text analysis, which focuses either on d...