1481 search results - page 78 / 297 » Enriching the Software Development Process by Formal Methods |
121
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Defect prevention is the most vital but habitually neglected facet of software quality assurance in any project. If functional at all stages of software development, it can condens...
143
Voted
IESA
2007
15 years 5 months ago
2007
Domain ontology building is one of the most critical activities required in Semantic Web applications. The task must be performed by domain experts, who do not (generally) have the...
117
Voted
JUCS
2008
15 years 3 months ago
2008
: This paper describes the taxonomy for designing interactive groupware systems. The taxonomy defines the objectives, methods and principles for classifying models and facilitates ...
102
click to vote
MSR
2006
ACM
15 years 9 months ago
2006
ACM
Software may contain functionality that does not align with its architecture. Such cross-cutting concerns do not exist from the beginning but emerge over time. By analysing where ...
102
click to vote
EWSPT
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. Process programming languages have not been readily adopted by practitioners. We are addressing this problem through the development of Little-JIL, a language that focuse...