]> 2002-08-30 Use Case Maps: A Roadmap for Usability and Software Integrated Specification. 119-131 2002 Usability http://www.informatik.uni-trier.de/~ley/db/conf/ifip13/ifip13-2002.html#AlsumaitSR02 2005-01-27 Formal Verification and Validation of Interactive Systems Specifications. 61-76 2004 Human Error, Safety and Systems Development http://www.informatik.uni-trier.de/~ley/db/conf/ifip13/ifip13-2004.html#AmeurBGGJ04 2005-01-27 Studying Operator behaviour During a Simple but safety critical Task. 209-222 2004 Human Error, Safety and Systems Development http://www.informatik.uni-trier.de/~ley/db/conf/ifip13/ifip13-2004.html#AndersenH04 2005-01-27 A Sampling Model to Ascertain Automation-Induced Complacency in Multi-Task Environments. 131-146 2004 Human Error, Safety and Systems Development http://www.informatik.uni-trier.de/~ley/db/conf/ifip13/ifip13-2004.html#BagheriJ04 2002-08-30 Specifying and Evaluating Usability Requirements Using the Common Industry Format: Four Case Studies. 149-159 2002 Usability http://www.informatik.uni-trier.de/~ley/db/conf/ifip13/ifip13-2002.html#BevanCMA02 2005-01-27 Handling Human Factors In Integrated Systems Engineering. 193-208 2004 Human Error, Safety and Systems Development http://www.informatik.uni-trier.de/~ley/db/conf/ifip13/ifip13-2004.html#Cebulla04 2003-10-29 A Framework for Rapid Mid-Fidelity Prototyping of Web Sites. 203-215 2002 Usability http://www.informatik.uni-trier.de/~ley/db/conf/ifip13/ifip13-2002.html#EngelbergS02 2005-01-27 Failure Analysis and the Safety-Case Lifecycle. 163-176 2004 Human Error, Safety and Systems Development http://www.informatik.uni-trier.de/~ley/db/conf/ifip13/ifip13-2004.html#GreenwellSK04 2004-12-21 Formal Usability Testing of Interactive Educational Software: A Case Study. 161-176 2002 Usability http://www.informatik.uni-trier.de/~ley/db/conf/ifip13/ifip13-2002.html#GreunenW02 2005-01-27 Decision making in avalanche terrain. 147-162 2004 Human Error, Safety and Systems Development http://www.informatik.uni-trier.de/~ley/db/conf/ifip13/ifip13-2004.html#Gruber04 2005-01-27 Modelling Incident Scenarios: To enrich User Interface Development. 77-92 2004 Human Error, Safety and Systems Development http://www.informatik.uni-trier.de/~ley/db/conf/ifip13/ifip13-2004.html#GuerreroTMCVP04 2005-01-27 Toward A Human-Centered UML For Risk Analysis. 177-192 2004 Human Error, Safety and Systems Development http://www.informatik.uni-trier.de/~ley/db/conf/ifip13/ifip13-2004.html#GuiochetMGB04 2005-01-27 The Global Aviation Information Network (GAIN). 17-30 2004 Human Error, Safety and Systems Development http://www.informatik.uni-trier.de/~ley/db/conf/ifip13/ifip13-2004.html#Hart04 2002-08-30 Analyzing the Role of Organizational Culture in the Implementation of User-Centered Design: Disentangling the Approaches for Cultural Analysis. 57-71 2002 Usability http://www.informatik.uni-trier.de/~ley/db/conf/ifip13/ifip13-2002.html#Iivari02 2005-01-27 The Role of Night Vision Equipment in Military Incidents and Accidents. 1-16 2004 Human Error, Safety and Systems Development http://www.informatik.uni-trier.de/~ley/db/conf/ifip13/ifip13-2004.html#Johnson04 2005-01-27 The Team-Based Operation of Safety-Critical Programmable Systems. 255-270 2004 Human Error, Safety and Systems Development http://www.informatik.uni-trier.de/~ley/db/conf/ifip13/ifip13-2004.html#Johnson04a 2002-08-30 A Method-Independent Process Model of User-Centred Design. 23-38 2002 Usability http://www.informatik.uni-trier.de/~ley/db/conf/ifip13/ifip13-2002.html#Jokela02 2002-08-30 Evaluating Security Tools towards Usable Security: A Usability Taxonomy for the Evaluation of Security Tools Based on a Categorization of User Errors. 247-256 2002 Usability http://www.informatik.uni-trier.de/~ley/db/conf/ifip13/ifip13-2002.html#KaiserR02 2002-08-30 Usability Engineering Milestones in Complex Product Development - Experiences at Nokia Mobile Phones: Industrial Experience. 103-118 2002 Usability http://www.informatik.uni-trier.de/~ley/db/conf/ifip13/ifip13-2002.html#Ketola02 2002-08-30 Teaching Human-Computer Interaction: Qualitative Support for an Alternative Approach. 267-281 2002 Usability http://www.informatik.uni-trier.de/~ley/db/conf/ifip13/ifip13-2002.html#KotzeO02 2005-01-27 Development of Critiquing Systems in Network Organizations. 31-44 2004 Human Error, Safety and Systems Development http://www.informatik.uni-trier.de/~ley/db/conf/ifip13/ifip13-2004.html#LeiflerJPR04 2002-08-30 ^stCentury. 3-20 2002 Usability http://www.informatik.uni-trier.de/~ley/db/conf/ifip13/ifip13-2002.html#Lindgaard02 2004-07-08 User Satisfaction, Aesthetics and Usability: Beyond Reductionism. 231-246 2002 Usability http://www.informatik.uni-trier.de/~ley/db/conf/ifip13/ifip13-2002.html#LindgaardD02 2005-01-27 Analysing Dynamic Function Scheduling Decisions. 45-60 2004 Human Error, Safety and Systems Development http://www.informatik.uni-trier.de/~ley/db/conf/ifip13/ifip13-2004.html#LoerHH04 2002-08-30 User Requirements Analysis: A Review of Supporting Methods. 133-148 2002 Usability http://www.informatik.uni-trier.de/~ley/db/conf/ifip13/ifip13-2002.html#MaguireB02 2005-01-27 Designing Distributed Task Performance in Safety-Critical Systems Equipped With Mobile Devices. 301-318 2004 Human Error, Safety and Systems Development http://www.informatik.uni-trier.de/~ley/db/conf/ifip13/ifip13-2004.html#MarhanPS04 2002-08-30 Usability: Who Cares?: An Analysis of Indifference Towards Usability within the IT Industry. 283-294 2002 Usability http://www.informatik.uni-trier.de/~ley/db/conf/ifip13/ifip13-2002.html#McCoy02 2002-08-30 Use and Reuse of HCI Knowledge in the Software Development Lifecycle: Existing Approaches and What Developers Thinks. 39-55 2002 Usability http://www.informatik.uni-trier.de/~ley/db/conf/ifip13/ifip13-2002.html#MetzkerR02 2005-01-27 Towards a Framework for Systematically Analysing Collaborative Error. 271-284 2004 Human Error, Safety and Systems Development http://www.informatik.uni-trier.de/~ley/db/conf/ifip13/ifip13-2004.html#MiguelW04 2002-08-30 Keep on Trying: Online Securities Trading Sites. 217-230 2002 Usability http://www.informatik.uni-trier.de/~ley/db/conf/ifip13/ifip13-2002.html#Morenkov02 2002-08-30 The Importance of User Roles in Feature Bundling Decisions in Wireless Handheld Devices: Strategic User Needs Analysis (SUNA). 73-88 2002 Usability http://www.informatik.uni-trier.de/~ley/db/conf/ifip13/ifip13-2002.html#NarasimhanL02 2005-01-27 Challenge of safety data analysis - Top models wanted. 223-238 2004 Human Error, Safety and Systems Development http://www.informatik.uni-trier.de/~ley/db/conf/ifip13/ifip13-2004.html#Nisula04 2002-08-30 Exploring the Use of the Mobile Phone. 89-102 2002 Usability http://www.informatik.uni-trier.de/~ley/db/conf/ifip13/ifip13-2002.html#Ozkan02 2005-01-27 Task Patterns for Taking Into Account in an Efficient and Systematic Way User Behaviours. 109-130 2004 Human Error, Safety and Systems Development http://www.informatik.uni-trier.de/~ley/db/conf/ifip13/ifip13-2004.html#PalanqueB04 2002-08-30 Improving Usability in Decision Support Systems: Practical Use of the Decision Enquiry Approach for Requirements Analysis. 257-266 2002 Usability http://www.informatik.uni-trier.de/~ley/db/conf/ifip13/ifip13-2002.html#Parker02 2002-08-30 EQUAL: Towards an Inclusive Design Approach to Novice Programming Language and Computing Environments for Native Users. 177-190 2002 Usability http://www.informatik.uni-trier.de/~ley/db/conf/ifip13/ifip13-2002.html#PatilMN02 2005-01-27 Automatic Dependent Surveillance - Broadcast / Cockpit Display of Traffic Information. 93-108 2004 Human Error, Safety and Systems Development http://www.informatik.uni-trier.de/~ley/db/conf/ifip13/ifip13-2004.html#Prinzo04 2005-01-27 SEMOMAP: Sequential Model of the Maritime Accident Process. 239-254 2004 Human Error, Safety and Systems Development http://www.informatik.uni-trier.de/~ley/db/conf/ifip13/ifip13-2004.html#Schroder04 2005-01-27 Integrating Human Factors in the design of Safety Critical Systems. 285-300 2004 Human Error, Safety and Systems Development http://www.informatik.uni-trier.de/~ley/db/conf/ifip13/ifip13-2004.html#SchuppSWG04 2004-07-22 MouseLupe: An Accessibility Tool for People with Low Vision. 191-202 2002 Usability http://www.informatik.uni-trier.de/~ley/db/conf/ifip13/ifip13-2002.html#SilvaBGN02 2002-02-15 Formal Program Development - IFIP TC2/WG 2.1 State-of-the-Art Report Formal Program Development 755 1993 3-540-57499-9 http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-1/ifip2-1-1993.html 2003-02-26 Generic Programming, IFIP TC2/WG2.1 Working Conference on Generic Programming, July 11-12, 2002, Dagstuhl, Germany Generic Programming 243 2003 1-4020-7374-7 http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-1/gp2002.html 2006-01-10 Efficient Implementation of Run-time Generic Types for Java. 207-236 2002 Generic Programming http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-1/gp2002.html#AllenCS02 2003-02-26 Generic Programming within Dependently Typed Programming. 1-20 2002 Generic Programming http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-1/gp2002.html#AltenkirchM02 2002-05-03 Elements of a Relational Theory of Datatypes. 7-42 1993 Formal Program Development http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-1/ifip2-1-1993.html#BackhouseH93 2002-02-15 From Dynamic Programming to Greedy Algorithms. 43-61 1993 Formal Program Development http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-1/ifip2-1-1993.html#BirdM93 2003-02-26 Concrete Generic Functionals. 89-119 2002 Generic Programming http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-1/gp2002.html#Boute02 2002-02-15 Practical Transformation of Functional Programs for Efficient Execution: A Case Study. 62-88 1993 Formal Program Development http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-1/ifip2-1-1993.html#BoyleH93 2003-02-26 Static Data Structures. 141-169 2002 Generic Programming http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-1/gp2002.html#BurtonGMH02 2003-02-26 Generic Haskell, Specifically. 21-47 2002 Generic Programming http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-1/gp2002.html#ClarkeL02 2003-02-26 A Generic Algorithm for Minimum Chain Partitioning. 79-88 2002 Generic Programming http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-1/gp2002.html#Curtis02 2002-02-15 Behavior-Oriented Specification in Gist. 89-122 1993 Formal Program Development http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-1/ifip2-1-1993.html#Feather93 2003-02-26 Making the Usage of STL Safe. 127-140 2002 Generic Programming http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-1/gp2002.html#GregorS02 2003-02-26 Complete Traversals as General Iteration Patterns. 187-206 2002 Generic Programming http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-1/gp2002.html#KlostermeyerMS02 2002-02-15 Derivation of Graph and Pointer Algorithms. 123-160 1993 Formal Program Development http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-1/ifip2-1-1993.html#Moller93 2002-02-15 Introduction. 1-6 1993 Formal Program Development http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-1/ifip2-1-1993.html#MollerPS93 2002-02-15 The Refinement Calculus, and Literate Development. 161-182 1993 Formal Program Development http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-1/ifip2-1-1993.html#Morgan93 2003-02-26 Generic Accumulations. 49-78 2002 Generic Programming http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-1/gp2002.html#Pardo02 2002-02-15 Formal Problem Specification on an Algebraic Basis. 183-224 1993 Formal Program Development http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-1/ifip2-1-1993.html#Partsch93 2002-02-15 Program Development in an Algebraic Setting. 225-262 1993 Formal Program Development http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-1/ifip2-1-1993.html#Pepper93 2002-02-15 Rules and Strategies for Program Transformation. 263-304 1993 Formal Program Development http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-1/ifip2-1-1993.html#PettorossiP93 2003-02-26 Adaptive Extensions of Object-Oriented Systems. 171-186 2002 Generic Programming http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-1/gp2002.html#SengGS02 2002-02-15 Endomorphic Typing. 305-323 1993 Formal Program Development http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-1/ifip2-1-1993.html#Sintzoff93 2002-02-15 Automating the Design of Algorithm. 324-354 1993 Formal Program Development http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-1/ifip2-1-1993.html#Smith93 2002-02-15 Virtual Data Structures. 355-371 1993 Formal Program Development http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-1/ifip2-1-1993.html#SwierstraM93 2003-02-26 Discussion: The Role of Types in Generic Programming. 121-126 2002 Generic Programming http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-1/gp2002.html#X02 2003-02-26 Discussion: Views of Genericity. 237-242 2002 Generic Programming http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-1/gp2002.html#X02a 2003-01-21 Systems Implementation 2000, IFIP TC2 WG2.4 Working Conference on Systems Implementation 2000: Languages, methods and tools, 23-26 February 1998, Berlin, Germay Systems Implementation 2000 117 1998 0-412-83530-4 http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-4/ifip2-4-1998.html 2003-01-21 LEAD: a linguistic approach to dynamic adaptability for practical applications. 277-290 1998 Systems Implementation 2000 http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-4/ifip2-4-1998.html#AmanoW98 2003-01-21 Representing structural requirements in software architecture. 114-127 1998 Systems Implementation 2000 http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-4/ifip2-4-1998.html#AmbriolaG98 2003-01-21 Meta-programming composers in second-generation component systems. 221-234 1998 Systems Implementation 2000 http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-4/ifip2-4-1998.html#Assmann98 2003-01-21 Java in high-performance networking applications. 100-113 1998 Systems Implementation 2000 http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-4/ifip2-4-1998.html#AzbelWCM98 2003-01-21 Java as a systems programming language: three case studies. 72-85 1998 Systems Implementation 2000 http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-4/ifip2-4-1998.html#Bishop98 2003-01-21 Evolution of WWW to support new integrated services. 319-332 1998 Systems Implementation 2000 http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-4/ifip2-4-1998.html#DedeZS98 2006-01-02 An introduction to evolution of large systems based on Software Architecture. 128-139 1998 Systems Implementation 2000 http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-4/ifip2-4-1998.html#DuenasL98 2003-01-21 Object-oriented software reusability through formal specifications. 235-248 1998 Systems Implementation 2000 http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-4/ifip2-4-1998.html#FavreD98 2003-01-21 On the architecture of software component systems. 207-220 1998 Systems Implementation 2000 http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-4/ifip2-4-1998.html#Franz98 2003-06-16 Operating and window systems will never strike back or independence day for Java developers. 86-99 1998 Systems Implementation 2000 http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-4/ifip2-4-1998.html#FrickeLLRW98 2004-09-17 The constraint logic paradigm: declarativity, efficiency and flexibility. 59-71 1998 Systems Implementation 2000 http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-4/ifip2-4-1998.html#GeskeGJW98 2003-01-21 Using many-sorted natural semantics to specify and generate semantic analysis. 249-262 1998 Systems Implementation 2000 http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-4/ifip2-4-1998.html#GlesnerZ98 2003-07-03 Design and implementation of database powered web systems - experiences from the DEMETER project. 333-344 1998 Systems Implementation 2000 http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-4/ifip2-4-1998.html#Goeschka98 2003-01-21 Modeling and simulating optical computing architectures. 140-151 1998 Systems Implementation 2000 http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-4/ifip2-4-1998.html#JonesH98 2003-01-21 Compositional design and implementation of domain-specific languages. 152-165 1998 Systems Implementation 2000 http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-4/ifip2-4-1998.html#KastensP98 2003-01-21 Evolutionary software engineering: a component-based approach. 1-18 1998 Systems Implementation 2000 http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-4/ifip2-4-1998.html#KlintV98 2003-01-21 Managing requirements evolution and change. 45-58 1998 Systems Implementation 2000 http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-4/ifip2-4-1998.html#Lam98 2003-08-25 A language adaptation architecture for reflective concurrent systems. 291-304 1998 Systems Implementation 2000 http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-4/ifip2-4-1998.html#LinHE98 2003-12-10 A knowledge-based methodology applied to linguistic engineering. 166-179 1998 Systems Implementation 2000 http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-4/ifip2-4-1998.html#MartinezG98 2003-01-21 Agendas: A concept to guide software development activities. 19-32 1998 Systems Implementation 2000 http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-4/ifip2-4-1998.html#Meisel98 2003-01-21 A new methodology for the development of CSCW systems. 33-45 1998 Systems Implementation 2000 http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-4/ifip2-4-1998.html#Ray98 2003-01-21 Attribute grammars in the functional style. 180-193 1998 Systems Implementation 2000 http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-4/ifip2-4-1998.html#SwierstraA98 2003-01-21 A temporal logic language for system implementation. 305-318 1998 Systems Implementation 2000 http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-4/ifip2-4-1998.html#Tang98 2003-01-21 TTT - A simple type-checked C language abstract data type generator. 263-276 1998 Systems Implementation 2000 http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-4/ifip2-4-1998.html#Toetenel98 2003-01-21 Compiling at 1000MHz and beyond. 194-206 1998 Systems Implementation 2000 http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-4/ifip2-4-1998.html#Wortman98 2002-02-27 Programming Environments for High-Level Scientific Problem Solving, Proceedings of the IFIP TC2/WG 2.5 Working Conference on Programming Environments for High-Level Scientific Problem Solving, Karlsruhe, Germany, 23-27 September, 1991 Programming Environments for High-Level Scientific Problem Solving A-2 1992 0-444-89176-5 http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-5/ifip2-5-1991.html 2002-08-22 The Architecture of Scientific Software, IFIP TC2/WG2.5 Working Conference on the Architecture of Scientific Software, October 2-4, 2000, Ottawa, Canada The Architecture of Scientific Software 188 2001 0-7923-7339-1 http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-5/ifip2-5-2000.html 2002-02-27 <i>Mathematica</i>. 33-45 1991 Programming Environments for High-Level Scientific Problem Solving http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-5/ifip2-5-1991.html#Abbott91 2002-08-22 On the Role of Mathematical Abstractions for Scientific Computing. 145-158 2000 The Architecture of Scientific Software http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-5/ifip2-5-2000.html#AhlanderHM00 2002-08-22 Developing an Architecture to Support the Implementation and Development of Scientific computing Applications. 39-56 2000 The Architecture of Scientific Software http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-5/ifip2-5-2000.html#ArnoldD00 2002-08-22 Software Architecture for the Investigation of Controllable Models with Complex Data Sets. 317-332 2000 The Architecture of Scientific Software http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-5/ifip2-5-2000.html#BelyshevG00 2005-07-13 Automatic Generation of Optimized Numerical Code for Jacobians and Hessians. 309-319 1991 Programming Environments for High-Level Scientific Problem Solving http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-5/ifip2-5-1991.html#BergerGHH91 2002-02-27 Toward an Intelligent System for Mathematical Software Selection. 79-92 1991 Programming Environments for High-Level Scientific Problem Solving http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-5/ifip2-5-1991.html#Boisvert91 2002-02-27 Mathematical User Interfaces for Graphical Workstations. 331-342 1991 Programming Environments for High-Level Scientific Problem Solving http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-5/ifip2-5-1991.html#Bonadio91 2002-02-27 Symbiotic Computing: Opportunities and Complications. 21-31 1991 Programming Environments for High-Level Scientific Problem Solving http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-5/ifip2-5-1991.html#BoothG91 2002-02-27 Visalization and its Use in Scientific Computation. 293-305 1991 Programming Environments for High-Level Scientific Problem Solving http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-5/ifip2-5-1991.html#BrodlieBDPW91 2002-02-27 SENAC: Lisp as a Platform for Constructing a Problem Solving Environment. 351-361 1991 Programming Environments for High-Level Scientific Problem Solving http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-5/ifip2-5-1991.html#Broughan91 2002-02-27 Gröbner Bases in Mathematica: Enthusiasm and Frustration. 119-132 1991 Programming Environments for High-Level Scientific Problem Solving http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-5/ifip2-5-1991.html#Buchberger91 2002-02-27 Fortran Interface Blocks as an Interface Description Language for Remote Procedure Calls. 179-189 1991 Programming Environments for High-Level Scientific Problem Solving http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-5/ifip2-5-1991.html#BuisDK91 2002-08-22 PETSc and Overture: Lessons Learned Developing an Interface between Components. 57-68 2000 The Architecture of Scientific Software http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-5/ifip2-5-2000.html#BuschelmanGMS00 2002-02-27 An Intelligent User Interface for a Symbolic Algebra System. 205-216 1991 Programming Environments for High-Level Scientific Problem Solving http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-5/ifip2-5-1991.html#Clarkson91 2006-06-26 Display of Functions of Three Space Variables and Time Using Shaded Polygons and Sound. 271-277 1991 Programming Environments for High-Level Scientific Problem Solving http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-5/ifip2-5-1991.html#CoughranG91 2002-02-27 The ESPRIT Project FOCUS. 371-381 1991 Programming Environments for High-Level Scientific Problem Solving http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-5/ifip2-5-1991.html#Cryer91 2002-08-22 Future Generations of Problem-Solving Environments. 29-38 2000 The Architecture of Scientific Software http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-5/ifip2-5-2000.html#Cunha00 2002-08-22 Software Components for Application Development. 285-300 2000 The Architecture of Scientific Software http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-5/ifip2-5-2000.html#DesitterHMST00 2002-02-27 Examples of Problem Solving Using Computer Algebra. 133-143 1991 Programming Environments for High-Level Scientific Problem Solving http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-5/ifip2-5-1991.html#DuvalJ91 2002-08-22 Hierarchical Representation and Computation of Approximate Solutions in Scientific Simulations. 301-316 2000 The Architecture of Scientific Software http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-5/ifip2-5-2000.html#Enright00 2006-11-17 Component Technology for High-Performance Scientific Simulation Software. 69-86 2000 The Architecture of Scientific Software http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-5/ifip2-5-2000.html#EpperlyKK00 2006-06-21 Environments for Large-Scale Scientific Computation. 147-155 1991 Programming Environments for High-Level Scientific Problem Solving http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-5/ifip2-5-1991.html#Feldman91 2002-02-27 Computer Algebra Tools for Higher Symmetry Analysis of Nonlinear Evolution Equations. 107-117 1991 Programming Environments for High-Level Scientific Problem Solving http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-5/ifip2-5-1991.html#Gerdt91 2002-08-22 A Mixed-Language Programming Methodology for High Performance Java Computing. 333-350 2000 The Architecture of Scientific Software http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-5/ifip2-5-2000.html#Getov00 2002-08-22 Formal Methods for High-Performance Linear Algebra Libraries. 193-210 2000 The Architecture of Scientific Software http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-5/ifip2-5-2000.html#GunnelsG00 2002-08-22 New Generalized Matrix Data Structures Lead to a Variety of High-Performance Algorithms. 211-234 2000 The Architecture of Scientific Software http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-5/ifip2-5-2000.html#Gustavson00 2002-08-22 Broadway: A Software Architecture for Scientific Computing. 175-192 2000 The Architecture of Scientific Software http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-5/ifip2-5-2000.html#GuyerL00 2002-11-11 Using Focus Technology to Build Front Ends. 383-394 1991 Programming Environments for High-Level Scientific Problem Solving http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-5/ifip2-5-1991.html#Hague91 2002-08-22 Using A Fortran Interface to POSIX Threads. 257-272 2000 The Architecture of Scientific Software http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-5/ifip2-5-2000.html#HansonBG00 2002-02-27 Transcript Editing, a Simple User Interface Tool. 321-329 1991 Programming Environments for High-Level Scientific Problem Solving http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-5/ifip2-5-1991.html#Holsti91 2002-08-22 Network-Based Scientific Computing. 3-28 2000 The Architecture of Scientific Software http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-5/ifip2-5-2000.html#HoustisCBDPRLSH00 2002-02-27 Parallel ELLPACK: A Develoment and Problem Solving Environment for High Performance Computing Machines. 229-243 1991 Programming Environments for High-Level Scientific Problem Solving http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-5/ifip2-5-1991.html#HoustisR91 2002-02-27 Design and Implementation of Symbolic Computation Systems. 217-227 1991 Programming Environments for High-Level Scientific Problem Solving http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-5/ifip2-5-1991.html#LimongelliMT91 2002-08-22 Data Management Systems for Scientific Applications. 273-284 2000 The Architecture of Scientific Software http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-5/ifip2-5-2000.html#Moore00 2002-02-27 Dynamic Software Reconfiguration Supports Scientific Problem-solving Activities. 245-256 1991 Programming Environments for High-Level Scientific Problem Solving http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-5/ifip2-5-1991.html#Purtilo91 2002-02-27 The Fortran 90 Standard. 343-348 1991 Programming Environments for High-Level Scientific Problem Solving http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-5/ifip2-5-1991.html#Reid91 2002-08-22 Code Coupling using Parallel CORBA Objects. 105-118 2000 The Architecture of Scientific Software http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-5/ifip2-5-2000.html#RenePA00 2002-02-27 Future Research Directions in Problem Solving Environments for Computational Science. 363-369 1991 Programming Environments for High-Level Scientific Problem Solving http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-5/ifip2-5-1991.html#Rice91 2002-02-27 Distributed Visual Programming Environment: An Attempt to Integrate Third Generation Languages with Advanced User Environments. 279-291 1991 Programming Environments for High-Level Scientific Problem Solving http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-5/ifip2-5-1991.html#RijndersSG91 2002-02-27 Accuracy Control and Estimation, Self-Validating Systems and Software Environments for Scientific Computation. 49-56 1991 Programming Environments for High-Level Scientific Problem Solving http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-5/ifip2-5-1991.html#Rump91 2002-02-27 An Integrated Problem Solving Environment for Numerical Simulation of Engineering Problems. 191-201 1991 Programming Environments for High-Level Scientific Problem Solving http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-5/ifip2-5-1991.html#SagawaFH91 2002-02-27 Polyalgorithms with Automatic Method Selection for the Iterartive Solution of Linear Equations and Eigenproblems. 57-67 1991 Programming Environments for High-Level Scientific Problem Solving http://www.informatik.uni-trier.de/~ley/db/conf/ifip2-5/ifip2-5-1991.html#SchonauerWS91 2005-07-04