Вы здесь

Главная

инструмент

Связанные издания:

Towards Integrated Computer Aided Systems and Software Engineering Tool for Information Systems Design
Towards Tools to Support the Gries/Dijkstra Design Process
Towards Web-scale Web Archaeology
TPS: An Interactive and Automatic Tool for Proving Theorems of Type Theory
Traffic Monitoring and Analysis: Proc./7th International Workshop, TMA 2015, Barcelona, Spain, April 2015
Transformational approach to program concretization
Type Inference of SELF Analysis of Object with Dynamic and Multiple Inheritance
Unanticipated Software Evolution
Understandability of the Software Engineering Method as an Important Factor for Selecting a CASE Tool
Understanding the Software Process as a Social Process
Universal Access in Human-Computer Interaction: Access to Today s Technologies, Part I: Proc./9th International Conference, UAHCI 2015 Held as Part of HCI International 2015, Los Angeles,CA,USA, August 2015
UPPAAL - Now, Next, and Future
USENET as a Teaching Tool
User Interface Prototyping: Tools and Techniques
User Interface Tools: A Survey and Perspective
Using Actual Time: Learning How to Estimate
Using Commercial CASE Environments to Teach Software Design
Using Information Technology to Solve Real World Problems
Using KIDS as a Tool Support for VDM
Using SCCS to Manage APL2 Development Projects
Using SPIN and STeP to Verify Business Processes Specifications
Using Standard Tools to Build an Open, Client/Server Ptototype
Using the ECLiPSe Interval Domain Library in CAD
Using the Synthesizer-Generator to Teach Principles of Programming Language Semantics
Using Video to Re-Present the User
USSA-Universal Syntax and Semantics Analyser
Utilizing Fifth Generation Technology in Software Development Tools
Validation of UML Models via a Mapping to Communicating Extended Timed Automata
Verification Tools in the Development of Provably Correct Compilers
Verified Software: Theories, Tools, Experiments: Proc./Second International Conference, VSTTE 2008. Toronto, Canada, October 2008
Verifying a Logic Synthesis Tool in Nuprl: A Case Study in Software Verification
Verifying Generic Erlang Client-Server Implementations
Verus: A Tool for Quantitative Analysis of Finite-State Real-Time Systems
VIPER: A VIsual Protocol EditoR
VisTool: A Visualization Tool for Spatial Access Structures
Visual and Textual Consistency Checking Tools for Graphical User Interfaces
Visualization of And/Or-Parallel Execution of Logic Programs
Visualization of Message Passing Parallel Programs
Visualizing Graphical and textual Formalisms
Visual Tools to Debug Prolog IV Programs
Vooduu: Verification of Object-Oriented Designs Using UPPAAL
VSF and its Relationship to Open Systems and Standard Repositories
WDBQS: A Unified Access to Distant Databases Via a Simple Web-Tool
WebAppLoader: A Simulation Tool Set for Evaluating Web Application Performance
WebDocBall: A Graphical Visualization Tool for Web Search Results
WebMaster: Knowledge-Based Verification of Web-Pages
What s the Story?
Why Can t I Buy an SCM Tool?
Why Do Some Mature Organizations Not Use Mature CM Tools?
Windows 3.0/C6.0 Compatible Libraries