3514 search results - page 393 / 703 » Evolving Specification Engineering |
148
click to vote
ICSE
2009
IEEE-ACM
16 years 7 months ago
2009
IEEE-ACM
The documentation of API functions typically conveys detailed specifications for the benefit of interested readers. In some cases, however, it also contains usage directives, such...
188
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
This work addresses conceptual modeling and automatic code generation for Rich Internet Applications, a variant of Web-based systems bridging the gap between desktop and Web inter...
186
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
This paper describes a new paradigm for modeling traffic levels on the world wide web (WWW) using a method of entropy maximization. This traffic is subject to the conservation con...
140
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
Step-wise refinement is a powerful paradigm for developing a complex program from a simple program by adding features incrementally. We present the AHEAD (Algebraic Hierarchical Eq...
156
click to vote
ICSE
2003
IEEE-ACM
2003
IEEE-ACM
An Empirical Study of an Informal Knowledge Repository in a Medium-Sized Software Consulting Company
16 years 6 months ago
Numerous studies have been conducted on design and architecture of knowledge repositories. This paper addresses the need for looking at practices where knowledge repositories are ...