1599 search results - page 96 / 320 » A Reference Model for Knowledge Management in Software Engin... |
150
Voted
SERA
2010
Springer
15 years 1 months ago
2010
Springer
—Evidence shows that proposals for new modeling notations emerge and evolution of current ones are becoming more complex, often in an attempt to satisfy the many different modeli...
158
Voted
ICSE
1999
IEEE-ACM
15 years 7 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
140
Voted
WER
1998
Springer
15 years 7 months ago
1998
Springer
Active systems are emerging in many fields, being particularly interesting those like Active Database Management Systems which always provide some kind of reactive capabilities. I...
149
Voted
ATAL
2007
Springer
15 years 5 months ago
2007
Springer
Referral networks are a kind of P2P system consisting of autonomous agents who seek, provide services, or refer other service providers. Key applications include service discovery...
156
click to vote
EWSPT
2003
Springer
15 years 8 months ago
2003
Springer
: Software development is a complex process where many organizational units, persons, systems and artifacts are involved. In companies that exceed a certain size the business proce...