1481 search results - page 70 / 297 » Enriching the Software Development Process by Formal Methods |
117
Voted
APSEC
2006
IEEE
15 years 9 months ago
2006
IEEE
Software projects typically require effort estimation from the Software Development Life Cycle (SDLC) staff at the commencement of the software development activities. Inaccuracie...
134
Voted
ICWE
2004
Springer
15 years 8 months ago
2004
Springer
Current Web Engineering methods develop "closed" web applications from conceptual models. This fact makes difficult the integration and the interoperability of different ...
144
click to vote
FOSSACS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Rewriting systems over adhesive categories have been recently introduced as a general framework which encompasses several rewriting-based computational formalisms, includ...
126
click to vote
HCI
2007
15 years 4 months ago
2007
Software Engineering (SE) and Usability Engineering (UE) both provide a wide range of elaborated process models to create software solutions. Today, many companies have realized th...
116
click to vote
QUATIC
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper describes an initiative to improve software acquisition process in Brazil. This initiative was conducted in the context of the MPS.BR Program, a nationwide effort to de...