31 papers:
CASE-2014-HeidingsfeldKTS #fault #modelling- Model-based sensor fault diagnosis for the Stuttgart SmartShell (MH, UK, CT, OS), pp. 846–851.
OSDI-2014-MooreDKC #named #scripting language- SHILL: A Secure Shell Scripting Language (SM, CD, DK, SC), pp. 183–199.
TACAS-2012-HolzerKSTV #contest #proving #reachability #using- Proving Reachability Using FShell — (Competition Contribution) (AH, DK, CS, MT, HV), pp. 538–541.
CAV-2008-HolzerSTV #dynamic analysis #generative #metric #named #testing- FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement (AH, CS, MT, HV), pp. 209–213.
DAC-2007-YeZL #optimisation #performance #power management #statistics #using- Statistical Leakage Power Minimization Using Fast Equi-Slack Shell Based Optimization (XY, YZ, PL), pp. 853–858.
AFP-2004-PlasmeijerW04 #functional- A Functional Shell That Operates on Typed and Compiled Applications (RP, AvW), pp. 245–272.
HPDC-2004-WalkerM #coordination #using #workflow- Orchestrating and Coordinating Scientific/Engineering Workflows using GridShell (EW, TM), pp. 270–271.
ICSM-2003-LovrekJKLCHDL #maintenance #using- Improving Software Maintenance by using Agent-based Remote Maintenance Shell (IL, GJ, MK, IL, AC, DH, SD, OL), pp. 440–449.
IFL-2003-WeeldenP #functional- A Functional Shell That Dynamically Combines Compiled Code (AvW, RP), pp. 36–52.
CSCW-2000-YankelovichBT- Sun SharedShell tool (NY, JB, JCT), p. 351.
HT-1999-Rau #towards- Towards the Recognitiion of the Shell as a Integral Part of the Digital Text (AR), pp. 119–120.
ITiCSE-1997-JerinicD- OBOA model of explanation module in intelligent tutoring shell (LJ, VD), pp. 133–135.
KBSE-1996-LeeG #collaboration #tutorial #using #web- Developing Collaborative Applications Using the World Wide Web “Shell” (Tutorial) (AL, AG), p. 3.
- HT-1996-GirgensohnLS #case study #collaboration #experience #using #web
- Experiences in Developing Collaborative Applications Using the World Wide Web “Shell” (AG, AL, KS), pp. 246–255.
- CSCW-1996-LeeG #collaboration #tutorial #using #web
- Developing Collaborative Applications Using the World Wide Web Shell (Tutorial) (AL, AG), p. 4.
ICPR-1996-LinLC #3d #modelling #using- Recovery of 3-D closed surfaces using progressive shell models (RL, WCL, CTC), pp. 95–99.
- KBSE-1995-SatoTYWH #process #re-engineering #synthesis
- Domain-Oriented Software Process Re-engineering with Software Synthesis Shell SOFTEX/S (AS, MT, TY, MW, MH), pp. 97–104.
LCT-RTS-1995-SchneiderCSP #component #programming #realtime- The ControlShell Component-Based Real-Time Programming System, and its Application to the Marsokhod Martian Rover (SAS, VWC, JS, GPC), pp. 146–155.
CAiSE-1994-Marttiin #automation #flexibility #process #towards- Towards Flexible Process Support with a CASE Shell (PM), pp. 14–27.
CADE-1994-RichardsKSW #logic #named- Mollusc: A General Proof-Development Shell for Sequent-Based Logics (BLR, IK, AS, GAW), pp. 826–830.
SEKE-1993-LinCH #information management #network- A Generic Shell-Specialized Knowledge Acquisition Tool for Developing Network Management Software (CYIL, CCC, CSH), pp. 235–238.
ICLP-1993-FarkasGMU #development #knowledge base #named #prolog- ZEXPERT — A Prolog-Based Shell for Knowledge Base Development (ZF, GG, KM, GU), pp. 835–836.
- KBSE-1992-YamanouchiSTTTW #synthesis
- Software Synthesis Shell SOFTEX/S (TY, AS, MT, HT, JT, MW), p. 6.
- CAiSE-1992-RossiGSJL #automation #editing #metamodelling
- Metamodeling Editor as a Front End Tool for a CASE Shell (MR, MG, KS, LÅJ, KL), pp. 546–567.
CHI-1991-DzidaFV #interface #named- ERGO-Shell: a UNIX-interface for task preparation (WD, RF, WV), pp. 421–422.
- CAiSE-1991-VerhoefHW #automation #modelling
- Structuring Modelling Knowledge for CASE Shells (TFV, AHMtH, GMW), pp. 502–524.
- DAC-1990-Jabri #knowledge-based #named #prolog
- BREL — a Prolog Knowledge-based System Shell for VLSI CAD (MAJ), pp. 272–277.
- CHI-1990-Borg #named #visual notation
- IShell: a visual UNIX shell (KB), pp. 201–207.
PLILP-1990-LimS #constraints #logic programming- A Constraint Logic Programming Shell (PL, PJS), pp. 75–88.
OOPSLA-1987-DiederichM #design #object-oriented- An Object-Oriented Design System Shell (JD, JM), pp. 61–77.
ICSE-1984-DeMarcoS #data flow #modula #named- SYNCRO: A Dataflow Command Shell for the Lilith/Modula Computer (TD, AS), pp. 207–213.
