3799 search results - page 402 / 760 » An Engineering Approach to Formal Methods |
238
click to vote
ICWE
2009
Springer
16 years 2 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...
207
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...
186
click to vote
LSO
2004
Springer
16 years 28 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...
193
Voted
APSEC
2004
IEEE
15 years 11 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...
226
click to vote
CIKM
2003
Springer
16 years 24 days 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...