Sciweavers

1099 search results - page 24 / 220
» A Formal Approach to Domain-Oriented Software Design Environ...
Sort
View
DSVIS
2008
Springer
15 years 1 months ago
ReWiRe: Designing Reactive Systems for Pervasive Environments
The design of interactive software that populates an ambient space is a complex and ad-hoc process with traditional software development approaches. In an ambient space, important ...
Geert Vanderhulst, Kris Luyten, Karin Coninx
IWPC
2007
IEEE
15 years 6 months ago
Combining Formal Concept Analysis with Information Retrieval for Concept Location in Source Code
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...
Denys Poshyvanyk, Andrian Marcus
ICSE
1989
IEEE-ACM
15 years 3 months ago
The Inscape Environment
The Inscape Environment is an integrated software development enviroment for building large software systems by large groups of developers. It provides tools that are knowledgeabl...
Dewayne E. Perry
APAQS
2000
IEEE
15 years 4 months ago
A Formal Mechanism for Assessing Polymorphism in Object-Oriented Systems
Although quality is not easy to evaluate since it is a complex concept compound by different aspects, several properties that make a good object-oriented design have been recogniz...
Claudia Pons, Maximo Prieto, Luis Olsina
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 4 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund