Publisher
Springer International Publishing
Reference76 articles.
1. Andert, E.P.: Integrated knowledge-based system design and validation for solving problems in uncertain environments. Int. J. Man-Mach. Stud. 36(2), 357–373 (1992). http://www.reviews.com/reviewer/quickreview/frameset_toplevel.cfm?bib_id=144453
2. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press (2003)
3. Bieberstein, N., Bose, S., Fiammante, M., Jones, K., Shah, R.: Service-Oriented Architecture (SOA) Compass: Business Value, Planning, and Enterprise Roadmap. IBM Press (2006)
4. Boehm, B.W.: Verifying and validating software requirements and design specifications. IEEE Softw. 1(1), 75–88 (1984)
5. Boley, H., Paschke, A., Shafiq, O.: RuleML 1.0: the overarching specification of web rules. In: M. Dean, J. Hall, A. Rotolo, S. Tabet (eds.) Semantic Web Rules—International Symposium, RuleML 2010, Washington, DC, USA, 21–23 Oct 2010. Proceedings. Lecture Notes in Computer Science, vol. 6403, pp. 162–178. Springer (2010). doi: 10.1007/978-3-642-16289-3