Sciweavers

3514 search results - page 378 / 703
» Evolving Specification Engineering
Sort
View
SIGSOFT
2010
ACM
15 years 4 months ago
Synthesis of live behaviour models
We present a novel technique for synthesising behaviour models that works for an expressive subset of liveness properties and conforms to the foundational requirements engineering...
Nicolás D'Ippolito, Víctor A. Braber...
VIS
2007
IEEE
60views Visualization» more  VIS 2007»
16 years 8 months ago
Navigating in a Shape Space of Registered Models
New product development involves people with different backgrounds. Designers, engineers, and consumers all have different design criteria, and these criteria interact. Early conce...
Randall C. Smith, Richard Pawlicki, István Kók...
CHI
2007
ACM
16 years 7 months ago
Task and social visualization in software development: evaluation of a prototype
As open source development has evolved, differentiation of roles and increased sophistication of collaborative processes has occurred. Recently, we described coordination issues i...
Jason B. Ellis, Shahtab Wahid, Catalina Danis, Wen...
SAC
2010
ACM
16 years 1 months ago
Inductive reasoning and semantic web search
Extensive research activities are recently directed towards the Semantic Web as a future form of the Web. Consequently, Web search as the key technology of the Web is evolving tow...
Claudia d'Amato, Floriana Esposito, Nicola Fanizzi...
SASO
2009
IEEE
16 years 1 months ago
Evolution of Probabilistic Consensus in Digital Organisms
—The complexity of distributed computing systems and their increasing interaction with the physical world impose challenging requirements in terms of adaptation, robustness, and ...
David B. Knoester, Philip K. McKinley