Found: 4
Select item for more details and to access through your institution.
Contract-based modeling and verification of timed safety requirements within SysML.
- Published in:
- Software & Systems Modeling, 2017, v. 16, n. 2, p. 587, doi. 10.1007/s10270-015-0481-1
- By:
- Publication type:
- Article
Integrating run-time changes into system and software process enactment.
- Published in:
- Journal of Software: Evolution & Process, 2016, v. 28, n. 9, p. 762, doi. 10.1002/smr.1783
- By:
- Publication type:
- Article
Spoiled patterns: how to extend the GoF.
- Published in:
- Software Quality Journal, 2015, v. 23, n. 4, p. 661, doi. 10.1007/s11219-014-9249-z
- By:
- Publication type:
- Article
SynchroState: A SPEM-based Solution for Synchronizing Activities and Products through State Transitions.
- Published in:
- International Arab Journal of Information Technology (IAJIT), 2018, v. 15, n. 6, p. 951
- By:
- Publication type:
- Article