Showing 1 - 20 results of 29 for search '"On Spec"', query time: 0.08s Refine Results
  1. 1

    The Spec UI framework by Fabry, Johan, Ducasse, Stephane

    Published 2017
    Table of Contents: “…Illustrations1 Introduction2 First Contact With Examples -- 2.1 A customer satisfaction UI -- 2.2 Fun with Lists -- 2.3 Conclusion -- 3 Reusing and composing elements -- 3.1 First requirements -- 3.2 Creating a basic UI to be reused as a widget -- 3.3 Combining two basic widgets into a reusable UI -- 3.4 Managing three widgets and their interactions -- 3.5 Changing the layout of a reused widget -- 3.6 Considerations about a public configuration API -- 3.7 Conclusion -- 4 The fundamentals of Spec -- 4.1 User interface building: a composition -- 4.2 The initializeWidgets method -- 4.3 Defining UI Layouts -- 4.4 The initializePresenter method -- 4.5 Conclusion -- 5 Layout Construction -- 5.1 About layouts -- 5.2 Row and column layouts -- 5.3 Combining rows and columns -- 5.4 Setting row and column size -- 5.5 Layouts without rows or columns -- 5.6 Conclusion -- 6 Managing windows -- 6.1 Opening a window or a dialog box -- 6.2 Modal windows and the closing of windows -- 6.3 Window size and decoration -- 6.4 The final details: title, icon and about text -- 6.5 Conclusion -- 7 Advanced Widgets -- 7.1 TextModel -- 7.2 RadioButtonModel -- 7.3 TabModel -- 7.4 Toolbars and Pop-up Menus -- 7.5 Conclusion -- 8 Dynamic Spec -- 8.1 Dynamically changing an already opened UI -- 8.2 Dynamically populating a UI with widgets -- 8.3 Hacking together a UI in the Playground -- 8.4 Conclusion -- 9 Tips and Tricks -- 9.1 Integrating the different UI frameworks -- 9.2 Lists, trees and tables -- 9.3 Using the underlying widget library -- 9.4 Testing the functionality of a Spec UI…”
    Access online version
    Electronic eBook
  2. 2
  3. 3
  4. 4
  5. 5
  6. 6
  7. 7
  8. 8
  9. 9
  10. 10
  11. 11
  12. 12
  13. 13

    Informatics in the Future Proceedings of the 11th European Computer Science Summit (ECSS 2015), Vienna, October 2015 /

    Published 2017
    Table of Contents: “…Shifting Identities in Computing: From a Useful Tool to a New Method and Theory of Science -- On the Big Impact of "Big Computer Science" -- On Informatics, Diamonds and T -- Leadership and Balance in Research -- Rational ethics -- Ethics for the digital age: where are the moral specs? -- Digital Sovereignty and IT-Security for a Prosperous Society -- Women in Computing and the contingency of informatics cultures -- Ada - poet of computing.…”
    Link to Metadata
    Electronic eBook
  14. 14

    Fundamental Approaches to Software Engineering 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

    Published 2021
    Table of Contents: “…FASE Contributions -- On Benchmarking for Concurrent Runtime Verification -- Certified Abstract Cost Analysis -- Bootstrapping Automated Testing for RESTful Web Services -- A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features -- Finding a Universal Execution Strategy for Model Transformation Networks -- CoVEGI: Cooperative Veri cation via Externally Generated Invariants -- Engineering Secure Self-Adaptive Systems with Bayesian Games -- An Abstract Contract Theory for Programs with Procedures -- Paracosm: A Test Framework for Autonomous Driving Simulations -- Compositional Analysis of Probabilistic Timed Graph Transformation Systems -- Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds -- Effects of Program Representation on Pointer Analyses - An Empirical Study -- Keeping Pace with the History of Evolving Runtime Models -- SpecTest: Specification-Based Compiler Testing -- PASTA: An Efficient Proactive Adaptation Approach Based on Statistical Model Checking for Self-Adaptive Systems -- Understanding Local Robustness of Deep Neural Networks under Natural Variations -- Test-Comp Contributions -- Status Report on Software Testing: Test-Comp 2021 -- CoVeriTest with Adaptive Time Scheduling (Competition Contribution) -- FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution) -- Symbiotic 8: Parallel and Targeted Test Generation (Competition Contribution).…”
    Link to Metadata
    Electronic eBook
  15. 15
  16. 16
  17. 17
  18. 18
  19. 19
  20. 20