共 50 条
- [1] Real-time collaborative software modeling using UML with rational software architect [J]. 2006 INTERNATIONAL CONFERENCE ON COLLABORATIVE COMPUTING: NETWORKING, APPLICATIONS AND WORKSHARING, 2006, : 39 - +
- [2] OSTRALES/SPARC - An Ada real time kernel for on board satellite software application [J]. DASIA 99: DATA SYSTEMS IN AEROSPACE, 1999, 447 : 299 - 308
- [3] Micro-satellite on-board software requirement analysis using UML [J]. DASIA 2000: DATA SYSTEMS IN AEROSPACE, PROCEEDINGS, 2000, 457 : 55 - 60
- [4] Model checking UML specifications of real time software [J]. EIGHTH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2002, : 203 - 212
- [5] Real-time modeling with UML:: The ACCORD approach [J]. UNIFIED MODELING LANGUAGE: UML'98: BEYOND THE NOTATION, 1999, 1618 : 319 - 335
- [6] Herschel-SPIRE satellite instrument: configurable On-Board Software for autonomous and real time operation [J]. SPACE TELESCOPES AND INSTRUMENTATION 2012: OPTICAL, INFRARED, AND MILLIMETER WAVE, 2012, 8442
- [7] Radar control software design based on real-time UML [J]. Proceedings of 2006 CIE International Conference on Radar, Vols 1 and 2, 2006, : 336 - 339
- [8] Evaluating UML extensions for modeling real-time systems [J]. PROCEEDINGS OF THE SEVENTH IEEE INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, 2002, : 271 - 278
- [9] Modeling hard real time systems with UML the OOHARTS approach [J]. UML'99 - THE UNIFIED MODELING LANGUAGE: BEYOND THE STANDARD, 1999, 1723 : 339 - 355
- [10] UML Profiles for Modeling Real-Time Communication Protocols [J]. JOURNAL OF OBJECT TECHNOLOGY, 2010, 9 (02): : 178 - 198