5984 search results - page 89 / 1197 » The Informal Nature of Systems Engineering |
ICSE
2003
IEEE-ACM
16 years 1 months ago
2003
IEEE-ACM
Traceability helps stakeholders to understand the relationships that exist between software artifacts created during a software development project. For example, the evolution of ...
105
click to vote
ICFEM
2010
Springer
14 years 12 months ago
2010
Springer
This paper compares six model checkers (Alloy, cadp, fdr2, NuSMV, ProB, Spin) for the validation of information system specifications. The same case study (a library system) is s...
118
click to vote
MODELS
2007
Springer
15 years 7 months ago
2007
Springer
Many safety-related and certification standards exist for developing safety-critical systems. Safety assessments are performed in practice, and system certification according to a...
105
click to vote
CICLING
2005
Springer
15 years 7 months ago
2005
Springer
Information extraction is concerned with applying natural language processing to automatically extract the essential details from text documents. A great disadvantage of current ap...
103
click to vote
WEBI
2005
Springer
15 years 6 months ago
2005
Springer
We profile a system for search and analysis of largescale email archives. The system builds around four facets: Content-based search engine, statistical topic model, automaticall...