50 results on '"Software engineering"'
Search Results
2. State of the art in program analysis
3. State-of-the-Art Research in Blockchain of Things for HealthCare
4. Quo Vadis modeling?: Findings of a community survey, an ad-hoc bibliometric analysis, and expert interviews on data, process, and software modeling
5. Rigorous engineering of collective adaptive systems – 2nd special section
6. A manifesto for applicable formal methods
7. Responsive inclusive design (RiD): a new model for inclusive software development
8. Human-centred cyber secure software engineering
9. On technical debt in mathematical programming: An exploratory study
10. GUI-based software modularization through module clustering in edge computing based IoT environments
11. Cross-project smell-based defect prediction
12. Laying the foundation for smart contract development: an integrated engineering process model
13. Foundations of information technology based on Bunge’s systemist philosophy of reality
14. Verification and refutation of C programs based on k-induction and invariant inference
15. Plain random test generation with PRTest
16. Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2017
17. Restructuring Object-Oriented Software Systems Using Various Aspects of Class Information
18. Rigorous engineering of collective adaptive systems: special section
19. The scenario coevolution paradigm: adaptive quality assurance for adaptive systems
20. Formalizing UML/OCL structural features with FoCaLiZe
21. Accessibility Testing of European Health-Related Websites
22. Software requirement optimization using a fuzzy artificial chemical reaction optimization algorithm
23. A4WSN: an architecture-driven modelling platform for analysing and developing WSNs
24. Accessible software development: a conceptual model proposal
25. Example-driven modeling: on effects of using examples on structural model comprehension, what makes them useful, and how to create them
26. Context-aware auction solution of cooperative fish market monitoring system for intelligent user
27. Improving bug report triage performance using artificial intelligence based document generation model
28. Software quality tools and techniques presented in FASE’17
29. Emerging topics in mining software repositories: Machine learning in software repositories and datasets
30. A model-driven software engineering workflow and tool architecture for servitised manufacturing
31. Formal verification considering a systematic modeling approach for function blocks
32. Designing video games for the blind: results of an empirical study
33. RAN-Map: a system for automatically producing API layers from RDF schemas
34. Software engineering practices and Simulink: bridging the gap
35. Handling loops in bounded model checking of C programs via k-induction
36. Using social network analysis of human aspects for online social network software: a design methodology
37. SoftCoDeR approach: promoting Software Engineering Academia-Industry partnership using CMD, DSR and ESE
38. Data mining for software engineering and humans in the loop
39. Applying user-centered techniques to analyze and design a mobile application
40. Goal-oriented modeling and verification of feature-oriented product lines
41. On shared understanding in software engineering: an essay
42. NiftySim: A GPU-based nonlinear finite element package for simulation of soft tissue biomechanics
43. Special section on the 17th International Software Product Line Conference
44. Guiding requirements engineering for software-intensive embedded systems in the automotive industry: The REMsES approach
45. An evaluation framework for software crowdsourcing
46. Program verification and testing technologies
47. Boolean and Cartesian abstraction for model checking C programs
48. Introductory paper
49. An Industry-Based Evaluation of Process Modeling Techniques
50. ProfiSEE: A workbench for visual interactive simulation modelling in the chemical-pharmaceutical industry
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.