共 50 条
- [22] Peer-based multithreaded executable co-specification PROCEEDINGS OF THE SEVENTH INTERNATIONAL WORKSHOP ON HARDWARE/SOFTWARE CODESIGN (CODES'99), 1999, : 105 - 109
- [23] Enrichment of functional requirements specification method with business rules PROCEEDINGS OF THE THIRTEENTH INTERNATIONAL CONFERENCE ON INFORMATION SYSTEMS DEVELOPMENT: ADVANCES IN THEORY, PRACTICE AND EDUCATION, 2004, : 194 - 205
- [24] Specification of software requirements with support of business process ontologies PROCEEDING OF THE 2019 INTERNATIONAL CONFERENCE ON COMPUTER, INFORMATION AND TELECOMMUNICATION SYSTEMS (IEEE CITS 2019), 2019, : 182 - 186
- [26] Reusable test models and application based on Z specification 2007 2ND INTERNATIONAL CONFERENCE ON PERVASIVE COMPUTING AND APPLICATIONS, VOLS 1 AND 2, 2007, : 523 - +
- [27] UML-Based Specification and Generation of Executable Web Services SYSTEM ANALYSIS AND MODELING: ABOUT MODELS, SAM 2010, 2011, 6598 : 91 - 107
- [28] A Transformation of Business Process Models into Software-Executable Models Using MDA SOFTWARE QUALITY: INCREASING VALUE IN SOFTWARE AND SYSTEMS DEVELOPMENT, 2013, 133 : 147 - 167
- [29] Requirements Exchange: from Specification Documents to Models 2011 16TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2011, : 350 - 354
- [30] Requirements validation based on the visualisation of executable formal specifications TWENTY-SECOND ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE - PROCEEDINGS, 1998, : 381 - 386