313 search results - page 52 / 63 » WebDSL: A Case Study in Domain-Specific Language Engineering |
ICSE
1999
IEEE-ACM
13 years 12 months ago
1999
IEEE-ACM
It is widely acknowledged that coordination of large scale software development is an extremely difficult and persistent problem. Since the structure of the code mirrors the struc...
AOSD
2007
ACM
13 years 11 months ago
2007
ACM
Product line development places emphasis on quality attributes like understandability, maintainability, reusability and variability. Better modularization techniques like ...
AOSD
2007
ACM
13 years 11 months ago
2007
ACM
Design patterns aim at improving reusability and variability of object-oriented software. Despite a notable success, aspect-oriented programming (AOP) has been discussed recently ...
ICSE
2000
IEEE-ACM
13 years 11 months ago
2000
IEEE-ACM
This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...
ISEMANTICS
2010
13 years 9 months ago
2010
We present the STEX system, a semantic extension of LATEX, that allows for producing high-quality PDF documents for (proof)reading and printing, as well as semantic XML/OMDoc docu...