Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Auguston, Mikhail
94  Ergebnisse:
Personensuche X
?
1

Executable Behavioral Modeling of System and Software Archi..:

Farah-Stapleton, Monica ; Auguston, Mikhail ; Giammarco, Kristin
Procedia Computer Science.  95 (2016)  - p. 48-57 , 2016
Link: https://doi.org/10.1016/..
 
?
2

Formalizing and verifying stochastic system architectures u..:

, In: Proceedings of the 18th International Conference on Model Driven Engineering Languages and Systems,
Song, Songzheng ; Liu, Yang ; Auguston, Mikhail... - p. 449 ff. , 2015
Link: https://dl.acm.org/doi/1..
 
?
3

Modeling and Verifying Business Processes with Monterey Pho..:

Auguston, Mikhail ; Giammarco, Kristin ; Baldwin, W. Clifton..
Procedia Computer Science.  44 (2015)  - p. 345-353 , 2015
Link: https://doi.org/10.1016/..
 
?
4

Formalizing and verifying stochastic system architectures u..:

, In: 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS),
Song, Songzheng ; Liu, Yang ; Auguston, Mikhail... - p. 449-449 , 2015
Link: https://doi.org/10.1109/..
 
?
5

Controlling Design Complexity with the Monterey Phoenix App..:

Giammarco, Kristin ; Auguston, Mikhail ; Baldwin, W. Clifton..
Procedia Computer Science.  36 (2014)  - p. 204-209 , 2014
Link: https://doi.org/10.1016/..
 
?
6

Formalizing and verifying stochastic system architectures u..:

Song, Songzheng ; Zhang, Jiexin ; Liu, Yang...
Software & Systems Modeling.  15 (2014)  2 - p. 453-471 , 2014
Link: https://doi.org/10.1007/..
 
?
7

Well, You didn't Say not to! A Formal Systems Engineering A..:

Giammarco, Kristin ; Auguston, Mikhail
Procedia Computer Science.  20 (2013)  - p. 277-282 , 2013
Link: https://doi.org/10.1016/..
 
?
8

Behavioral Modeling of Software Intensive System Architectu..:

Farah-Stapleton, Monica ; Auguston, Mikhail
Procedia Computer Science.  20 (2013)  - p. 270-276 , 2013
Link: https://doi.org/10.1016/..
 
?
9

Software architecture built from behavior models:

Auguston, Mikhail
ACM SIGSOFT Software Engineering Notes.  34 (2009)  5 - p. 1-15 , 2009
Link: https://dl.acm.org/doi/1..
 
?
10

Monterey Phoenix, or how to make software architecture exec..:

, In: Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications,
Auguston, Mikhail - p. 1031-1040 , 2009
Link: https://dl.acm.org/doi/1..
 
?
11

Guest Editor's Introduction to the Special Section on the 2..:

Auguston, Mikhail
Software Quality Journal.  16 (2008)  2 - p. 159-160 , 2008
Link: https://doi.org/10.1007/..
 
?
12

A security domain model to assess software for exploitable ..:

, In: Proceedings of the third ACM SIGPLAN workshop on Programming languages and analysis for security,
Shaffer, Alan B. ; Auguston, Mikhail ; Irvine, Cynthia E.. - p. 45-56 , 2008
Link: https://dl.acm.org/doi/1..
 
?
13

Environment behavior models for automation of testing and a..:

Auguston, Mikhail ; Michael, James Bret ; Shing, Man-Tak
Information and Software Technology.  48 (2006)  10 - p. 971-980 , 2006
Link: https://doi.org/10.1016/..
 
?
14

Two-level assurance of QoS requirements for distributed rea..:

, In: Proceedings of the 2005 ACM symposium on Applied computing,
Liu, Shih-Hsi ; Bryant, Barrett R. ; Gray, Jeffrey G.... - p. 903-904 , 2005
Link: https://dl.acm.org/doi/1..
 
?
15

Environment behavior models for scenario generation and tes..:

, In: Proceedings of the 1st international workshop on Advances in model-based testing,
Auguston, Mikhail ; Michael, James Bret ; Shing, Man-Tak - p. 1-6 , 2005
Link: https://dl.acm.org/doi/1..
 
1-15