123 search results - page 13 / 25 » Model-Based Automated Generation of User Interfaces |
ACL
2012
13 years 2 months ago
2012
Argo is a web-based NLP and text mining workbench with a convenient graphical user interface for designing and executing processing workflows of various complexity. The workbench...
171
click to vote
FROCOS
2011
Springer
13 years 11 months ago
2011
Springer
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...
ICSM
2003
IEEE
15 years 5 months ago
2003
IEEE
“Nightly/daily building and smoke testing” have become widespread since they often reveal bugs early in the software development process. During these builds, software is comp...
217
click to vote
PLDI
2009
ACM
16 years 9 days ago
2009
ACM
High-level languages are growing in popularity. However, decades of C software development have produced large libraries of fast, timetested, meritorious code that are impractical...
112
Voted
CC
2001
Springer
15 years 3 months ago
2001
Springer
SmartTools is a development environment generator that provides a structure editor and semantic tools as main features. The well-known visitor pattern technique is commonly used fo...