„software system models“

Suchergebnisse

1.395 Treffer

• Efficient parallel reasoning on fuzzy goal models for run time requirements verification
  Chatzikonstantinou, George ; Kontogiannis, Kostas
• Time for Addressing Software Security Issues: Prediction Models and Impacting Factors
  Ben Othmane, Lotfi ; Chehrazi, Golriz ; Bodden, Eric ; Tsalovski, Petar ; Brucker, Achim D.
• An analytical methodology to derive power models based on hardware and software metrics
  Dolz, Manuel F. ; Kunkel, Julian ; Chasapis, Konstantinos ; Catalán, Sandra
• Automatic construction of systems of distributed components from nested Petri nets models
  Dworzanski, L. W. ; Lomazova, I. A.
• Automated refinement of models for model-based testing using exploratory testing
  Gebizli, Ceren Şahin ; Sözer, Hasan
• Reconciling software requirements and architectures with intermediate models
  Grünbacher, Paul ; Egyed, Alexander ; Medvidovic, Nenad
• Discovering crisis models to help assess coordination plans – A case study of tsunami response plan given by Ho Chi Minh City, Vietnam
  Le, Nguyen-Tuan-Thanh ; Hanachi, Chihab ; Stinckwich, Serge ; Ho, Tuong-Vinh
• A unified view of parameterized verification of abstract models of broadcast communication
  Delzanno, Giorgio
• Studying just-in-time defect prediction using cross-project models
  Kamei, Yasutaka ; Fukushima, Takafumi ; McIntosh, Shane ; Yamashita, Kazuhiro ; Ubayashi, Naoyasu ; Hassan, Ahmed E.
• A survey on the use of topic models when mining software repositories
  Chen, Tse-Hsun ; Thomas, Stephen W. ; Hassan, Ahmed E.
• On the unification power of models
  Bézivin, Jean
• PSL: A semantic domain for flow models
  Bock, Conrad ; Gruninger, Michael
• Early execution time-estimation through automatically generated timing models
  Altenbernd, Peter ; Gustafsson, Jan ; Lisper, Björn ; Stappert, Friedhelm
• Time-continuous behaviour comparison based on abstract models
  Palczynski, Jacob 2014 RWTH Aachen University, Fachgruppe Informatik
• Developing Embedded systems through Cleanroom Software Engineering
  Vudatha, Chandra Prakash ; Sastry J., Kodanda Rama ; B.K. Kamesh, Duvvuri 2016 LAP LAMBERT Academic Publishing