1759 search results - page 40 / 352 » Overview of Generative Software Development |
148
Voted
CADE
2001
Springer
16 years 2 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...
111
Voted
VLDB
2007
ACM
15 years 8 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...
108
click to vote
UML
2005
Springer
15 years 7 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...
110
Voted
SIGSOFT
2001
ACM
16 years 2 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...
110
click to vote
APSEC
2000
IEEE
15 years 6 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...