1180 search results - page 53 / 236 » Total Functional Software Engineering - Overview Paper |
103
click to vote
DAC
2004
ACM
15 years 2 months ago
2004
ACM
Random test generators are often used to create regression suites on-the-fly. Regression suites are commonly generated by choosing several specifications and generating a number o...
117
click to vote
WISES
2003
15 years 10 days ago
2003
— Testing and verification are important methods for gaining confidence in the reliability of a software product. Keeping this confidence up is especially difficult for softw...
104
click to vote
EWCBR
2004
Springer
15 years 4 months ago
2004
Springer
The complexity of software systems makes design reuse a necessary task in the software development process. CASE tools can provide cognitive assistance in this task, helping the so...
OOPSLA
2005
Springer
15 years 4 months ago
2005
Springer
This paper presents a separation of concerns approach to solve the tangling problem of functional and Quality of Service (QoS) concerns in traditional Component-based Software Eng...
FASE
2001
Springer
15 years 3 months ago
2001
Springer
Abstract. This paper describes a specialised logic for proving specifications in the Java Modeling Language (JML). JML is an interface specification language for Java. It allows ...