5180 search results - page 909 / 1036 » Requirements Engineering |
161
click to vote
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
Domain-specific languages offer high expressive power foa particular problem domain, abstracting over the accidental complexity associated with traditional software development. ...
181
click to vote
SOCO
2010
Springer
15 years 2 months ago
2010
Springer
This paper presents an evolutionary algorithm for modeling the arrival dates in time-stamped data sequences such as newscasts, e-mails, IRC conversations, scientific journal artic...
165
click to vote
WCRE
2010
IEEE
15 years 2 months ago
2010
IEEE
—Often stakeholders, such as developers, managers, or buyers, want to find out what software development processes are being followed within a software project. Their reasons in...
159
click to vote
COMPSAC
2010
IEEE
15 years 2 months ago
2010
IEEE
In distributed IT systems, replication of information is commonly used to strengthen the fault tolerance on a technical level or the autonomy of an organization on a business level...
143
click to vote
VSTTE
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...