745 results
Search Results
2. Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2017)
3. Selected and extended papers from FACS 2016
4. Selected papers of the Brazilian Symposium on Programming Languages (SBLP'15+16)
5. Workshop on advances in knowledge extraction and re-engineering of software (selected and extended papers from WAKERS 2017)
6. Preface for selected and extended papers from Principles and Practice of Declarative Programming (PPDP'15)
7. Preface to Special issue with extended selected papers from FACS 2015
8. Selected and extended papers from Partial Evaluation and Program Manipulation 2015 (PEPM'15)
9. Preface to SCP special issue with extended selected papers from SBMF 2014
10. Fundamentals of Software Engineering (selected papers of FSEN 2013)
11. Preface to Formal Coordination and Self-organisation: Special section including selected best papers from CM 2012–2013
12. Special Issue on Formal Aspects of Component Software (Selected Papers from FACS'12)
13. Preface to Rewriting Logic and Its Applications (extended selected papers from WRLA 2012)
14. Special issue: Selected papers from the 12th International Conference on Quality Software (QSIC 2012)
15. Modeling and analysis of compositional software (papers from EUROMICRO SEAA'12)
16. Selected and extended papers from Partial Evaluation and Program Manipulation 2013
17. Selected and extended papers of the Brazilian Symposium on Programming Languages 2012
18. Formal Aspects of Component Software (FACS 2010 selected and extended papers)
19. Web Technologies: Selected & extended papers from WT ACM SAC 2012
20. Preface: Abstract State Machines, Alloy, B, VDM, and Z. Selected & extended papers from ABZ 2012
21. Preface: Special section on formal methods for industrial critical systems (Selected papers from FMICS’11)
22. Selected and extended papers from ACM SVT 2014
23. Preface: Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2008)
24. Selected and extended papers from Partial Evaluation and Program Manipulation 2014
25. The Tbilisi Symposium on Logic, Language and Computation: Selected Papers
26. Selected papers from the Brazilian Symposiums on Formal Methods (SBMF 2012 and 2013)
27. Preface: Special issue on Foundations of Coordination Languages and Software Architectures (selected papers from FOCLASA’09)
28. Selected and extended papers from Bytecode 2013
29. Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2011)
30. Abstract State Machines, Alloy, B and Z Selected papers from ABZ 2010
31. Fundamentals of software engineering (selected papers of FSEN ’09)
32. Selected Papers from the Eleventh International Conference on Coordination Models and Languages
33. Selected papers on Integrated Formal Methods (iFM09)
34. Selected papers of the Refinement Workshop Turku (2008)
35. Special issue on Partial Evaluation and Program Manipulation (selected papers from PEPM 2007)
36. Special Issue on Generative Programming and Component Engineering (Selected Papers from GPCE 2004/2005)
37. Selected papers from Mathematics of Program Construction 2012
38. Selected and extended papers from SBLP 2013.
39. A framework for defining coupling metrics.
40. Introduction to reversal fuzzy switch graph.
41. Measuring the significance of inconsistency in the Viewpoints framework.
42. ASPfun : A typed functional active object calculus
43. Connectors as designs: Modeling, refinement and test case generation
44. A didactic object-oriented, prototype-based visual programming environment.
45. Simulation refinement for concurrency verification
46. Evaluation of a process for architectural assumption management in software development.
47. Specifying and executing optimizations for generalized control flow graphs.
48. Test case generation, selection and coverage from natural language
49. A formal model of data access for multicore architectures with multilevel caches
50. Understanding software developers' cognition in agile requirements engineering
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.