1759 search results - page 40 / 352 » Overview of Generative Software Development |
170
click to vote
CADE
2001
Springer
16 years 4 months ago
2001
Springer
Abstract. JProver is a first-order intuitionistic theorem prover that creates sequent-style proof objects and can serve as a proof engine in interactive proof assistants with expre...
133
click to vote
VLDB
2007
ACM
15 years 10 months ago
2007
ACM
The Transaction Processing Performance Council (TPC) is completing development of TPC-DS, a new generation industry standard decision support benchmark. The TPC-DS benchmark, firs...
138
click to vote
UML
2005
Springer
15 years 10 months ago
2005
Springer
The recent trend in software engineering to model-centered methodologies is an excellent opportunity for OCL to become a widely used specification language. If the focus of the de...
136
click to vote
SIGSOFT
2001
ACM
16 years 5 months ago
2001
ACM
Prior research in software environments focused on three important problems-- tool integration, artifact management, and process guidance. The context for that research, and hence...
132
click to vote
APSEC
2000
IEEE
15 years 9 months ago
2000
IEEE
Explosive increase in end-user computing on distributed systems requires that end-users develop application software by themselves. One solution is given as a formula of “a doma...