Sortiert nach
Software and systems modeling, 2016-10, Vol.15 (4), p.1181-1206
2016
Link zum Volltext
Software Engineering and Formal Methods, p.246-261
Link zum Volltext
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, p.433-446
Link zum Volltext
The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems
2012
Link zum Volltext
Integrated Formal Methods, p.111-126
Link zum Volltext
2015 International Conference on Advanced Computer Science and Information Systems (ICACSIS), 2015, p.1-6
2015
Link zum Volltext
Formal Methods for Components and Objects, p.204-224
Link zum Volltext
Software Engineering and Formal Methods, p.318-333
Link zum Volltext
2016 International Conference on Advanced Computer Science and Information Systems (ICACSIS), 2016, p.597-604
2016
- Link zum Volltext
Proceedings of the 20th International Systems and Software Product Line Conference, 2016, p.45-49
2016
Link zum Volltext
2017 International Conference on Advanced Computer Science and Information Systems (ICACSIS), 2017, p.483-488
2017
Link zum Volltext
2017 International Conference on Advanced Computer Science and Information Systems (ICACSIS), 2017, p.453-458
2017
Link zum Volltext
Proc. 5th International Workshop on Feature-Oriented Software Development, 2013, p.17-24
2013
Link zum Volltext
SIGPLAN notices, 2008-10, Vol.43 (10), p.563-582
2008
Link zum Volltext
Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications, 2008, p.563-582
2008
Link zum Volltext
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems, 2012, p.139-148
2012
Link zum Volltext
Advances in Digital Forensics IV, p.151-161
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Software
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Software Product Line
- Software Product Lines
- Abstract Behavioral Specification
- Software Engineering
- Computer Programs
- Computer Science, Information Systems
- Double Dispatch
- Empirical Software Engineering
- Engineering
- Feature Extraction
- Instanceof
- Multimethods
- Multiple Dispatch
- Object Oriented Modeling
Kollektion