3799 search results - page 402 / 760 » An Engineering Approach to Formal Methods |
214
click to vote
ICWE
2009
Springer
16 years 1 months ago
2009
Springer
Rich Internet Applications (RIAs) are highly interactive web applications that resemble desktop applications. Modeling RIAs hence requires techniques for web modeling enriched by m...
186
click to vote
SEAA
2008
IEEE
16 years 1 months ago
2008
IEEE
Non-functional requirements (NFRs) pose unique challenges in estimating the effort it would take to implement them. This is mainly because of their unique nature; NFRs are subject...
172
Voted
LSO
2004
Springer
16 years 4 days ago
2004
Springer
The need for organizational learning support is common among all software development companies but is not addressed by agile software methods practitioners. The typical Experience...
176
click to vote
APSEC
2004
IEEE
15 years 10 months ago
2004
IEEE
Approaches to enforcing communication integrity in the implementation, exemplified by ArchJava, consider only architectural constraints, without taking into account the late integ...
191
click to vote
CIKM
2003
Springer
16 years 13 hour ago
2003
Springer
Distributed heterogeneous search systems are an emerging phenomenon in Web search, in which independent topic-specific search engines provide search services, and metasearchers d...