1481 search results - page 200 / 297 » Enriching the Software Development Process by Formal Methods |
142
click to vote
BIRTHDAY
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The aim of the MMiSS project is the construction of a multimedia Internet-based adaptive educational system. Its content will initially cover a whole curriculum in the ar...
126
click to vote
FUZZIEEE
2007
IEEE
15 years 10 months ago
2007
IEEE
— A DNA sequence can be described as a string composed of four symbols: A, T, C and G. Each symbol represents a chemically distinct nucleotide molecule. Combinations of two nucle...
100
click to vote
ICSE
2001
IEEE-ACM
15 years 8 months ago
2001
IEEE-ACM
Despite the advantages that object technology can provide to the software development community and its customers, the fundamental problems associated with identifying objects, th...
175
click to vote
AGILEDC
2007
IEEE
15 years 10 months ago
2007
IEEE
Agile methodologies represent a ‘people’ centered approach to delivering software. This paper investigates the social processes that contribute to their success. Qualitative g...
131
click to vote
DEXA
2007
Springer
15 years 10 months ago
2007
Springer
The motivation of this paper is to research the individual and the team levels of knowledge management, in order to unveil prominent knowledge needs, interactions and processes, an...