118 results on '"Michael, Jackson"'
Search Results
2. riboviz 2: a flexible and robust ribosome profiling data analysis and visualization workflow.
3. defoe: A Spark-Based Toolbox for Analysing Digital Historical Textual Data.
4. Using prototyping to choose a bioinformatics workflow management system.
5. Generating Indicators of Disruptive Innovation Using Big Data.
6. A Method for Matching Crowd-sourced and Authoritative Geospatial Data.
7. Toward Adaptive and Intelligent Electroadhesives for Robotic Material Handling.
8. Reliability of Probe Speed Data for Detecting Congestion Trends.
9. A tool for matching crowd-sourced and authoritative geospatial data.
10. Using Qualitative Spatial Logic for Validating Crowd-Sourced Geospatial Data.
11. System Behaviours and Problem Frames: Concepts, Concerns and the Role of Formalisms in the Development of Cyber-physical Systems.
12. Requirements-driven mediation for collaborative security.
13. Behaviours as Design Components of Cyber-Physical Systems.
14. Towards a formalism-based toolkit for automotive applications.
15. The Logic of NEAR and FAR.
16. Formalism and Intuition in Software Engineering.
17. Linked data for humanities research - The SPQR experiment.
18. A Tolerant Approach to Faults.
19. Engineering and Software Engineering.
20. Are Your Lights Off? Using Problem Frames to Diagnose System Failures.
21. Some Notes on Models and Modelling.
22. Inverse problem for coefficient identification in SIR epidemic models.
23. Topsy-turvy requirements.
24. Influence of Subsea Cables on Offshore Power Distribution Systems.
25. Problem Oriented Software Engineering: A design-theoretic framework for software engineering.
26. The Name and Nature of Software Engineering.
27. Composing Features by Managing Inconsistent Requirements.
28. Specialising in Software Engineering.
29. Separating Concerns in Requirements Analysis: An Example.
30. Testing the Machine in the World.
31. Problem Structure and Dependable Architecture.
32. Architecture-driven Problem Decomposition.
33. Composing Requirements Using Problem Frames.
34. Problem Frames: A Case for Coordination.
35. Relating Software Requirements and Architectures Using Problem Frames.
36. Where, Exactly, Is Software Development?
37. Distributed media control tor multimedia communications services.
38. Aspects of abstraction in software development.
39. New Feature Interactions in Mobile and Multimedia Telecommunications Services.
40. Specifying features of an evolving software system.
41. Requirements, behaviours, and software engineering (keynote).
42. The Village Telephone System: A Case Study in Formal Software Engineering.
43. Automated software engineering: supporting understanding.
44. Software engineering and formal methods.
45. Problem Oriented Software Engineering: Solving the Package Router Control Problem.
46. Requirements for Telecommunications Services: An Attack on Complexity.
47. Connecting viewpoints by shared phenomena.
48. What Can We Expect from Program Verification?
49. The World and the Machine.
50. Deriving Specifications from Requirements: An Example.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.