Search for dissertations about: "Computer model"
Showing result 1 - 5 of 2252 swedish dissertations containing the words Computer model.
-
1. Hierarchical Concurrent Systems from a Model-Oriented perspective
Abstract : Real world systems are normally considered as hierarchically organized, for example, we see those as hierarchies of systems including subsystems. Examples on this can be seen in organizations where people act in environments and carry within themselves their own internal subsystem of thinking processes. READ MORE
-
2. Computer Science Project Courses : Contrasting Students’ Experiences with Teachers’ Expectations
Abstract : Including small or large project courses is widely recognized as important in preparing computer science students for a professional career. Typical examples are the capstone courses, which often are seen as the jewel in the crown since this is where students will bring their previous knowledge and skills together to show mastery of their craft. READ MORE
-
3. Regular Model Checking
Abstract : A major current challenge in the area of program verification is to extend its applicability to infinite-state systems. A system can be infinite-state because it operates on unbounded data structures, such as queues, stacks, integers, etc., or because its description is parameterized by the number of components inside the system. READ MORE
-
4. Validation of a Standard- and Metric-Based Software Quality Model : Creating the Prerequisites for Experimentation
Abstract : Our long term research goal is to validate a standard- and metric-based software quality model. Today, ambiguous metric definitions lead to incomparable implementation variants in tools. READ MORE
-
5. Model-oriented programming
Abstract : .... READ MORE
