Advances in Software Engineering
Computer
IEEE Transactions on Software Engineering
Hancock: a language for processing very large-scale data
Proceedings of the 2nd conference on Domain-specific languages
Commonality and Variability in Software Engineering
IEEE Software
Automatic detection and repair of errors in data structures
OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
Data structure repair using goal-directed reasoning
Proceedings of the 27th international conference on Software engineering
Inference and enforcement of data structure consistency specifications
Proceedings of the 2006 international symposium on Software testing and analysis
On modeling and tolerating incorrect software
Journal of High Speed Networks - Self-Stabilizing Systems, Part 2
Goal-Directed Reasoning for Specification-Based Data Structure Repair
IEEE Transactions on Software Engineering
Enhancing server availability and security through failure-oblivious computing
OSDI'04 Proceedings of the 6th conference on Symposium on Opearting Systems Design & Implementation - Volume 6
Hancock: a language for processing very large-scale data
DSL'99 Proceedings of the 2nd conference on Conference on Domain-Specific Languages - Volume 2
A domain specific language for video device drivers: from design to implementation
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
A domain-specific modeling language for scientific data composition and interoperability
Proceedings of the 48th Annual Southeast Regional Conference
Domain analysis for components based developments
ICCSA'06 Proceedings of the 2006 international conference on Computational Science and Its Applications - Volume Part V
Hi-index | 0.00 |
Through a research/development collaboration, we have applied the FAST domain engineering process to the audits software in Lucent Technologies' 5ESS telephone switching system. Our collaboration has developed an application-oriented language, toolset, and accompanying process for specifying the requirements and generating the code for the 5ESS audits software. We describe the FAST process, our language, and the expected benefits of this project.