Search

Your search keyword '"Serebrenik, A."' showing total 81 results

Search Constraints

Start Over You searched for: Author "Serebrenik, A." Remove constraint Author: "Serebrenik, A." Publication Type eBooks Remove constraint Publication Type: eBooks
81 results on '"Serebrenik, A."'

Search Results

3. Investigating the Barriers that Women Face in Software Development Teams Focusing on the Context of Proprietary Software Ecosystems

7. Reducing Static Analysis Alarms Based on Non-impacting Control Dependencies

8. Runtime Monitoring in Continuous Deployment by Differencing Execution Behavior Model

10. Syntax-Safe Templates

11. Case Studies

12. Conclusions

13. Preliminaries

14. The Metalanguage

16. The Unparser

17. Introduction

18. The Babel of Software Development: Linguistic Diversity in Open Source

19. Traceability Visualization in Model Transformations with TraceVis

20. Type Checking Evolving Languages with MSOS

21. Process Discovery Using Integer Linear Programming

22. Adaptive Workflows for Healthcare Information Systems

23. History-Dependent Petri Nets

24. Automated Termination Analysis for Logic Programs by Term Rewriting

25. Modelling with History-Dependent Petri Nets

26. History-Based Joins: Semantics, Soundness and Implementation

27. Nested Nets for Adaptive Systems

28. The Price of Coordination in Resource Management

29. On Termination of Binary CLP Programs

30. Soundness of Resource-Constrained Workflow Nets

31. Improving Prolog Programs: Refactoring for Prolog

32. Proving Termination for Logic Programs by the Query-Mapping Pairs Approach

34. Acceptability with General Orderings

36. On Termination of Meta-programs

38. Combining the Power of Searching and Querying

42. Proving Termination with Adornments

43. Refactoring Logic Programs

47. How to Measure Diversity Actionably in Technology

Catalog

Books, media, physical & digital resources