共 50 条
- [1] Feature diagrams: A survey and a formal semantics RE'06: 14TH IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE, PROCEEDINGS, 2006, : 139 - +
- [3] Formal Semantics and Ontologies Towards an Ontological Account of Formal Semantics FORMAL ONTOLOGY IN INFORMATION SYSTEMS, 2008, 183 : 49 - +
- [4] A formal semantics for SPKI COMPUTER SECURITY - ESORICS 2000, PROCEEDINGS, 2000, 1895 : 140 - 158