Sciweavers

1180 search results - page 4 / 236
» Total Functional Software Engineering - Overview Paper
Sort
View
WICSA
2008
14 years 12 months ago
Simulating Software Architectures for Functional Analysis
Simulation is a mean for verifying the quality of an architectural specification. Some approaches have been proposed in the past. Each approach has its own internal simulation eng...
Henry Muccini, Patrizio Pelliccione
CLEIEJ
2006
110views more  CLEIEJ 2006»
14 years 10 months ago
Requirements Engineering Contributions on the Development of Educational Software for the Blind or People with Impaired Vision -
: This paper presents an account of the experience observed when obtaining a set of requirements for the development of educational software for people with impaired vision. Numero...
Victor Francisco Araya Santander, Dorisvaldo Rodri...
SERP
2004
14 years 11 months ago
COTS-Aware Requirements Engineering and Software Architecting
At the heart of a well-disciplined, systematic methodology that explicitly supports the use of COTS components is a clearly defined process for effectively using components that m...
Lawrence Chung, Kendra Cooper
SIGSOFT
1993
ACM
15 years 2 months ago
PLEIADES: An Object Management System for Software Engineering Environments
Software engineering environments impose challenging requirements on the design and implementation of an object management system. Existing object management systems have been lim...
Peri L. Tarr, Lori A. Clarke
POPL
2010
ACM
15 years 7 months ago
A Verified Compiler for an Impure Functional Language
We present a verified compiler to an idealized assembly language from a small, untyped functional language with mutable references and exceptions. The compiler is programmed in th...
Adam J. Chlipala