7206 search results - page 260 / 1442 » Using a Hypermedia System for Systems Engineering |
191
click to vote
FASE
2000
Springer
15 years 10 months ago
2000
Springer
A proof system is presented for the verification and derivation of object oriented programs with as main features strong typing, dynamic binding, and inheritance. The proof system...
159
click to vote
RE
1995
Springer
15 years 10 months ago
1995
Springer
Non-Functional requirements (or quality requirements, NFRs) such as confidentiality, performance and timeliness are often crucial to a software system. Our NFRFramework treats NF...
242
click to vote
ICSEA
2009
IEEE
15 years 4 months ago
2009
IEEE
The emerging Model-Driven Engineering paradigm advocates the use of models as first-class citizens in the software development process, while artifacts such as documentation and so...
325
click to vote
ICDE
2008
IEEE
16 years 8 months ago
2008
IEEE
Search engine technology plays an important role in Web information retrieval. However, with Internet information explosion, traditional searching techniques cannot provide satisfa...
175
click to vote
KBS
1998
15 years 6 months ago
1998
This paper describes a document retrieval system called CAIRN that uses a case-based reasoning set using a large lexicon to automatically generate a case index to that document se...