1236 search results - page 149 / 248 » From Conceptual Modeling to Requirements Engineering |
177
click to vote
CIKM
2007
Springer
16 years 16 days ago
2007
Springer
Web search engines consistently collect information about users interaction with the system: they record the query they issued, the URL of presented and selected documents along w...
251
click to vote
ICSM
2000
IEEE
15 years 10 months ago
2000
IEEE
Software has for a long time been used for controlling different systems. Today, there is a trend towards integrating software into consumer electronics, home appliances, cars etc...
170
click to vote
IUI
2000
ACM
15 years 10 months ago
2000
ACM
Medical information delivery for users with different levels of expertise will be required for the manned mission to Mars due to limited potential for communication with Earth. Th...
187
click to vote
ICSE
1999
IEEE-ACM
15 years 10 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 ...
155
click to vote
HOLOMAS
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. Holonic multiagent systems (hmas) offers a promising software engineering approach for developing applications in complex domains characterized by a hierarchical structu...