Author:
Margaria Tiziana,Bakera Marco,Kubczak Christian,Naujokat Stefan,Steffen Bernhard
Reference23 articles.
1. F. Bacchus and F. Kabanza. Using temporal logics to express search control knowledge for planning. Artificial Intelligence, 116(1–2):123–191, 2000
2. M. Dwyer and J.Corbett G. Avrunin. Specification Patterns Website. http:// patterns.projects.cis.ksu.edu/
3. Kathi Fisler. Toward diagrammability and efficiency in event-sequence languages. STTT, Int. J. on Software Tools for Technology Transfer, 8(4–5):431–447, 2006
4. B. Freitag, B. Steffen, T. Margaria, and U. Zukowski. An approach to intelligent software library management. In Proc. 4th Int. Conf. on Database Systems for Advanced Applications (DASFAA '95), National University of Singapore, Singapore, 1995
5. S. Jörges, T. Margaria, and B. Steffen. Formulabuilder: A tool for graph-based modelling and generation of formulae. In Proc. ICSE'06, May 2006
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献