1005 search results - page 30 / 201 » Formal Software Development in MAYA |
135
click to vote
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
In earlier work we have argued that formal process definitions can be useful in improving our understanding and performance of software development processes. There has, however,...
143
click to vote
JSS
2008
15 years 4 months ago
2008
The increasing trend toward complex software systems has highlighted the need to incorporate quality requirements earlier in the development cycle. We propose a new methodology fo...
153
click to vote
APSEC
2005
IEEE
15 years 10 months ago
2005
IEEE
Started in the beginning of 2001, the Semantic Web is regarded by many as the next generation of the Web. Ontology languages are the building blocks of Semantic Web as they provid...
139
click to vote
SOCO
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Non-functional requirements encompass important design concerns such as schedulability, security, and communication constraints. In model-based development they non-local...
142
click to vote
ACSC
2000
IEEE
15 years 8 months ago
2000
IEEE
A methodology is proposed for the formal development of software systems from a user's requirements specification in natural language into a complete implementation, proceedi...