Reversibility in software engineering

Walden, Kim

doi:10.1109/2.536793

Cited by 3 publications

(2 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The efficiency of this analysis has implications on the quality of design, on the cost of implementation and finaly time to market. Reversibility is the key to maintaining specification consistency in software engineering [Wal96]. Together with a modular design and analysis of software, it will help us understand and control better the software.…”

Section: Potential Applicationsmentioning

confidence: 99%

Designing Software for Modular Static Average-case Analysis

Schellekens

Early

Popovici

2009

2009 Software Technologies for Future Dependable Distributed Systems

View full text Add to dashboard Cite

MOQA is a new domain-specific programming language to design software for which the average-case time analysis of its programs is guaranteed to be modular. Time in this context refers to a broad notion of cost, which can be used to estimate the actual running time, but also other quantitative information such as power consumption, while modularity means that the average time of a program can be easily computed from the times of its constituentssomething that no programming language of this scope has been able to guarantee so far. MOQA principles can be incorporated in any standard programming language. We discuss how MOQA can support the design of software for modular static average-case analysis and sketch some of the reversible features of this language.

show abstract

Section: Potential Applicationsmentioning

confidence: 99%

Designing Software for Modular Static Average-case Analysis

Schellekens

Early

Popovici

2009

2009 Software Technologies for Future Dependable Distributed Systems

View full text Add to dashboard Cite

show abstract

“…If, on the other hand, we include concepts that cannot be mapped to and from the eventual code, reversibility is lost. The conclusion drawn for BON is that reversibility is indeed necessary if a method is to play more than a marginal role in supporting software development [2].…”

Section: Seamlessness and Reversibilitymentioning

confidence: 99%

Business Object Notation (BON)

Walden¹

1998

Handbook of Object Technology

View full text Add to dashboard Cite

Generating Natural Language specifications from UML class diagrams

2007

View full text Add to dashboard Cite

Abstract. Early phases of software development are known to be problematic, difficult to manage and errors occurring during these phases are expensive to correct. Many systems have been developed to aid the transition from informal Natural Language requirements to semi-structured or formal specifications. Furthermore, consistency checking is seen by many software engineers as the solution to reduce the number of errors occurring during the software development life cycle and allow early verification and validation of software systems. However, this is confined to the models developed during analysis and design and fails to include the early natural language requirements. This excludes proper user involvement and creates a gap between the original requirements and the updated and modified models and implementations of the system. To improve this process, we propose a system that generates natural language specifications from UML class diagrams. We first investigate the variation of the input language used in naming the components of a class diagram based on the study of a large number of examples from the literature and then develop rules for removing ambiguities in the subset of natural language used within UML. We use WordNet, a linguistic ontology, to disambiguate the lexical structures of the UML string names and generate semantically sound sentences. Our system is developed in Java and is tested on an independent though academic case study.

show abstract

Reversibility in software engineering

Cited by 3 publications

References 0 publications

Designing Software for Modular Static Average-case Analysis

Designing Software for Modular Static Average-case Analysis

Business Object Notation (BON)

Generating Natural Language specifications from UML class diagrams

Contact Info

Product

Resources

About