ℹ️
🇬🇧
Search
Search for publications relevant for "softwarových"
softwarových
Publication
Class
Person
Publication
Programmes
publication
Agent-Based Simulation of Business Processes in a Virtual World
2008 |
Faculty of Mathematics and Physics
publication
Checking Software Components Behavior Using Behavior Protocols and Spin
2007 |
Faculty of Mathematics and Physics
publication
Using DSL for Automatic Generation of Software Connectors
2008 |
Faculty of Mathematics and Physics
publication
Quality of Software Architectures: Models and Architectures
2008 |
Faculty of Mathematics and Physics
publication
Modeling and Meta-modeling of Software Components
2008 |
Faculty of Mathematics and Physics
publication
Carmen - the software component model checker
+1
Publication without faculty affiliation
publication
Software Component Verification: On Translating Behavior Protocols to Promela
Publication without faculty affiliation
publication
Addressing Unbounded Parallelism in Verification of Software Components
2006 |
Faculty of Mathematics and Physics
publication
The neglected but crucial role of mathematical statistics in the education of software experts
2005 |
Faculty of Mathematics and Physics
publication
Fifty years of programming languages
2008 |
Faculty of Mathematics and Physics
publication
The Common Component Modeling Example: Comparing Software Component Models
2008 |
Faculty of Mathematics and Physics
publication
Specification and Generation of Environment for Model Checking of Software Components
2007 |
Faculty of Mathematics and Physics
publication
Connector-based Performance Data Collection for Component Applications
2007 |
Faculty of Mathematics and Physics
publication
Assume-Guarantee Verification of Software Components in SOFA 2 Framework
2010 |
Faculty of Mathematics and Physics
publication
Model Checking of Software Components: Making Java PathFinder Cooperate with Behavior Protocol Checker
Publication without faculty affiliation
publication
Partial Verification of Software Components: Heuristics for Environment Construction
+2
2007 |
Faculty of Mathematics and Physics
publication
Retrieving Inter-Project Dependencies from Java-Based Software Ecosystems
2011 |
Faculty of Mathematics and Physics
publication
On Selected Software for Stochastic Programming
2008 |
Faculty of Mathematics and Physics
publication
Verification of Software Components: Addressing Unbounded Parallelism
2007 |
Faculty of Mathematics and Physics
publication
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker
+2
2007 |
Faculty of Mathematics and Physics
publication
Application of DES Theory to Verification of Software Components
2009 |
Faculty of Mathematics and Physics
publication
Modern management depends on the modernity of architectures of software systems
2003 |
Faculty of Mathematics and Physics
publication
Safe Systems with Software Components in SOFA 2
2008 |
Faculty of Mathematics and Physics
publication
Validating Model-Driven Performance Predictions On Random Software Systems
2010 |
Faculty of Mathematics and Physics
publication
Communications and memory for plausible agents
2012 |
Faculty of Mathematics and Physics