共 50 条
- [1] Aspect-oriented analysis applied to the space domain ICEIS 2007: PROCEEDINGS OF THE NINTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS: INFORMATION SYSTEMS ANALYSIS AND SPECIFICATION, 2007, : 71 - +
- [2] Aspect-oriented formal specification for multimedia systems 2008 IEEE/ACS INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS, VOLS 1-3, 2008, : 260 - +
- [3] On horizontal specification architectures and their aspect-oriented implementations TRANSACTIONS ON ASPECT-ORIENTED SOFTWARE DEVELOPMENT II, 2006, 4242 : 1 - 29
- [5] An Aspect-Oriented Language for Product Family Specification ANT 2012 AND MOBIWIS 2012, 2012, 10 : 482 - 489
- [6] Model checking aspect-oriented design specification COMPSAC 2007: THE THIRTY-FIRST ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, VOL I, PROCEEDINGS, 2007, : 491 - +
- [7] Introducing Aspect-Oriented Specification for Abstract State Machines ABSTRACT STATE MACHINES, ALLOY, B, TLA, VDM, AND Z, ABZ 2014, 2014, 8477 : 174 - 187
- [8] An approach for supporting Aspect-Oriented Domain Modeling GENERATIVE PROGRAMMING AND COMPONENT ENGINEERING 2003, PROCEEDINGS, 2003, 2830 : 151 - 168
- [9] A Formal Framework for Aspect-Oriented Specification of Cyber Physical Systems CONVERGENCE AND HYBRID INFORMATION TECHNOLOGY, 2011, 206 : 391 - 398