BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
IDE
Integrated Development Environment
Google integrated development environment

Tag #ide

134 papers:

ECOOPECOOP-2019-LuoDB #analysis #approach #editing #named
MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors (Tool Insights Paper) (LL, JD, EB), p. 25.
ESEC-FSEESEC-FSE-2019-WinterACD
Monitoring-aware IDEs (JW, MFA, JC, AvD), pp. 420–431.
ICSE-2019-CitoLRG #feedback #interactive #performance
Interactive production performance feedback in the IDE (JC, PL, MR, HCG), pp. 971–981.
ICSTICST-2019-BaloghHB #developer #eclipse #fault #interactive #java #locality #named
Poster: Aiding Java Developers with Interactive Fault Localization in Eclipse IDE (GB, FH, ÁB), pp. 371–374.
MSRMSR-2018-AfzalG #case study #debugging #using
A study on the use of IDE features for debugging (AA, CLG), pp. 114–117.
MSRMSR-2018-BellmanSB #analysis #debugging #developer #timeline #visual notation
Studying developer build issues and debugger usage via timeline analysis in visual studio IDE (CB, AS, OB), pp. 106–109.
MSRMSR-2018-BulmerMD #developer #machine learning #predict
Predicting developers' IDE commands with machine learning (TB, LM, DED), pp. 82–85.
MSRMSR-2018-JoonbakhshS #interactive #metric #mining #process
Mining and extraction of personal software process measures through IDE interaction logs (AJ, AS), pp. 78–81.
MSRMSR-2018-OchoaDV #dependence #eclipse #empirical #evaluation
An empirical evaluation of OSGi dependencies best practices in the eclipse IDE (LO, TD, JJV), pp. 170–180.
MSRMSR-2018-RabbaniHSGM #fault #interactive #replication #using #visual notation
Revisiting “programmers' build errors” in the visual studio context: a replication study using IDE interaction traces (NR, MSH, SS, KG, SM), pp. 98–101.
MSRMSR-2018-WilkieHKLNRPK #developer #identification #using
Who's this?: developer identification using IDE event data (JW, ZAH, AK, JL, GN, CR, MP, JK), pp. 90–93.
MSRMSR-2018-YamashitaPKG #developer #interactive
Developer interaction traces backed by IDE screen recordings from think aloud sessions (AY, FP, FK, YGG), pp. 50–53.
SANERSANER-2018-Gromov #compilation
Compilers are sprinters - IDEs are marathoners (keynote) (PG), p. 3.
SCAMSCAM-2018-ShepherdFWFLA #programming
[Engineering Paper] An IDE for Easy Programming of Simple Robotics Tasks (DCS, PF, DW, DF, BL, AA), pp. 209–214.
ECMFAECMFA-2018-MustafizDKT #modelling #named #process
MAPLE: An Integrated Environment for Process Modelling and Enactment for NFV Systems (SM, GD, FK, MT), pp. 164–178.
PADLPADL-2018-GermanoCP #logic programming #named
LoIDE: A Web-Based IDE for Logic Programming Preliminary Report (SG, FC, EP), pp. 152–160.
ESEC-FSEESEC-FSE-2018-YangYSLC #automation #detection #named #web
PowerStation: automatically detecting and fixing inefficiencies of database-backed web applications in IDE (JY, CY, PS, SL, AC), pp. 884–887.
ICSE-2018-DamevskiCSKP #behaviour #developer #modelling #predict #topic #using
Predicting future developer behavior in the IDE using topic models (KD, HC, DCS, NAK, LLP), p. 932.
ASEASE-2017-GasparicG0 #development #recommendation
Context-aware integrated development environment command recommender systems (MG, TG, FR0), pp. 688–693.
ASEASE-2017-LeungL #named #parsing #synthesis
Parsimony: an IDE for example-guided synthesis of lexers and parsers (AL, SL), pp. 815–825.
ICPCICPC-2016-MinelliMRL #fine-grained #interactive
Taming the IDE with fine-grained interaction data (RM, AM, RR, ML), pp. 1–10.
ASEASE-2016-Asenov0V #information management
The IDE as a scriptable information system (DA, PM, LV), pp. 444–449.
FSEFSE-2016-ZhanH #concurrent #detection #named
ECHO: instantaneous in situ race detection in the IDE (SZ, JH0), pp. 775–786.
SLESLE-2016-KeidelPE #problem
The IDE portability problem and its solution in Monto (SK, WP, SE), pp. 152–162.
CASECASE-2016-KatoSHO #calculus #development #modelling #multi
Integrated development environment for the multiple ambient calculus for modeling freight systems (TK, MS, MH, HO), pp. 367–372.
FASEFASE-2016-HenrioKLM #component #distributed #verification
Integrated Environment for Verifying and Running Distributed Components (LH, OK, SL, EM), pp. 66–83.
VLDBVLDB-2015-LiKTVW #information management #named #visual notation
VINERy: A Visual IDE for Information Extraction (YL, EK, MAT, RV, HW), pp. 1948–1959.
ITiCSEITiCSE-2015-Annamaa #learning #programming #python
Thonny, : a Python IDE for Learning Programming (AA), p. 343.
ICPCICPC-2015-AmintabarHG #development #exception #named #recommendation
ExceptionTracer: a solution recommender for exceptions in an integrated development environment (VA, AH, MG), pp. 299–302.
CSCWCSCW-2015-GuzziBRD #coordination #developer
Supporting Developers’ Coordination in the IDE (AG, AB, YR, AvD), pp. 518–532.
ESEC-FSEESEC-FSE-2015-BellerGPZ #developer #how #why
When, how, and why developers (do not) test in their IDEs (MB, GG, AP, AZ), pp. 179–190.
ESEC-FSEESEC-FSE-2015-ShafferWWMFS #eye tracking #named #re-engineering
iTrace: enabling eye tracking on software artifacts within the IDE to support software engineering tasks (TRS, JLW, BMW, SCM, MF, BS), pp. 954–957.
ICSEICSE-v1-2015-LeeMJ #named
Tempura: Temporal Dimension for IDEs (YYL, DM, REJ), pp. 212–222.
ICSEICSE-v2-2015-FamelisBSSC #named #nondeterminism
MU-MMINT: An IDE for Model Uncertainty (MF, NBD, ADS, RS, MC), pp. 697–700.
ICSEICSE-v2-2015-NguyenKN #embedded #named #php #web
Varis: IDE Support for Embedded Client Code in PHP Web Applications (HVN, CK, TNN), pp. 693–696.
ICSEICSE-v2-2015-PeiFNM #automation #development #program repair
Automated Program Repair in an Integrated Development Environment (YP, CAF, MN, BM), pp. 681–684.
VLDBVLDB-2014-AndersonCJWZ #development #performance #re-engineering
An Integrated Development Environment for Faster Feature Engineering (MRA, MJC, YJ, GW, BZ), pp. 1657–1660.
SANERCSMR-WCRE-2014-RahmanYR #exception #fault #programming #recommendation #towards
Towards a context-aware IDE-based meta search engine for recommendation about programming errors and exceptions (MMR, SY, CKR), pp. 194–203.
ICPCICPC-2014-DelimarschiSK #development #interactive #user interface
Enabling integrated development environments with natural user interface interactions (DD, GS, HHK), pp. 126–129.
ICPCICPC-2014-PetersenHR #api #comparison #eclipse #empirical #groovy #java #type system
An empirical comparison of static and dynamic type systems on API usage in the presence of an IDE: Java vs. groovy with eclipse (PP, SH, RR), pp. 212–222.
ICSMEICSME-2014-Minelli #adaptation #self #towards
Towards Self-Adaptive IDEs (RM), p. 666.
ICSMEICSME-2014-RahmanR #named
SurfClipse: Context-Aware Meta-search in the IDE (MMR, CKR), pp. 617–620.
MSRMSR-2014-PonzanelliBPOL #mining #programming #self #stack overflow
Mining StackOverflow to turn the IDE into a self-confident programming prompter (LP, GB, MDP, RO, ML), pp. 102–111.
IFMIFM-2014-HentschelKHB #interactive #verification
An Interactive Verification Tool Meets an IDE (MH, SK, RH, RB), pp. 55–70.
CHICHI-2014-FastSWBB #programming
Emergent, crowd-scale programming practice in the IDE (EF, DS, LW, JRB, MSB), pp. 2491–2500.
OnwardOnward-2014-GuSBS #interactive
Capturing and Exploiting IDE Interactions (ZG, DS, ETB, ZS), pp. 83–94.
PLATEAUPLATEAU-2014-RoulyOS #overview #usability #visual notation
Usability and Suitability Survey of Features in Visual Ides for Non-Programmers (JMR, JDO, ES), pp. 31–42.
PEPMPEPM-2014-Fahndrich #lessons learnt #runtime
Lessons from a web-based IDE and runtime (MF), pp. 1–2.
SLESLE-2014-SloaneRBM #development #named
Monto: A Disintegrated Development Environment (AMS, MR, SB, SM), pp. 211–220.
TACASTACAS-2014-HartmannsH #modelling #tool support #verification
The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification (AH, HH), pp. 593–598.
CSEETCSEET-2013-CookDSSCH #reasoning #specification #using #web
Specification and reasoning in SE projects using a Web IDE (CTC, SDS, YSS, MS, JCC, JEH), pp. 229–238.
ICSMEICSM-2013-BosS #matrix #named
TRINITY: An IDE for the Matrix (JvdB, TvdS), pp. 520–523.
WCREWCRE-2013-RahmanYR
An IDE-based context-aware meta search engine (MMR, SY, CKR), pp. 467–471.
CHICHI-2013-KramerKKWB #behaviour #developer #how #navigation #tool support
How tools in IDEs shape developers’ navigation behavior (JPK, TK, JK, MW, JOB), pp. 3073–3082.
CAiSECAiSE-2013-AguileraGO #concept #development #quality
Enforcement of Conceptual Schema Quality Issues in Current Integrated Development Environments (DA, CG, AO), pp. 626–640.
ICSEICSE-2013-FeldthausSSDT #approximate #graph #javascript #performance
Efficient construction of approximate call graphs for JavaScript IDE services (AF, MS, MS, JD, FT), pp. 752–761.
ICSEICSE-2013-PonzanelliBL #named #stack overflow
Seahawk: stack overflow in the IDE (LP, AB, ML), pp. 1295–1298.
ICLPICLP-J-2013-BusoniuOPST #debugging #named #programming
SeaLion: An eclipse-based IDE for answer-set programming with advanced debugging support (PAB, JO, JP, PS, HT), pp. 657–673.
CSMRCSMR-2012-AlsallakhBMN #array #eclipse #java #visualisation
Visualizing Arrays in the Eclipse Java IDE (BA, PB, SM, DN), pp. 541–544.
MSRMSR-2012-SouzaC #debugging #open source #verification
Characterizing verification of bug fixes in two open source IDEs (RS, CC), pp. 70–73.
OOPSLAOOPSLA-2012-MusluBHEN #analysis #development #recommendation
Speculative analysis of integrated development environment recommendations (KM, YB, RH, MDE, DN), pp. 669–682.
ICSEICSE-2012-FosterGL #named #realtime #refactoring
WitchDoctor: IDE support for real-time auto-completion of refactorings (SRF, WGG, SL), pp. 222–232.
ICSEICSE-2012-Gu #fine-grained #interactive
Capturing and exploiting fine-grained IDE interactions (ZG), pp. 1630–1631.
ICSEICSE-2012-MusluBHEN #recommendation
Improving IDE recommendations by considering global implications of existing recommendations (KM, YB, RH, MDE, DN), pp. 1349–1352.
SACSAC-2012-ZibranR #realtime
IDE-based real-time focused search for near-miss clones (MFZ, CKR), pp. 1235–1242.
TACASTACAS-2012-DavidJJJMS #development #petri net
TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets (AD, LJ, MJ, KYJ, MHM, JS), pp. 492–497.
SIGMODSIGMOD-2011-ChiticariuCDGHKLLLRRVZ #development #information management
The SystemT IDE: an integrated development environment for information extraction rules (LC, VC, SD, TWG, HH, RK, AL, YL, BL, SR, FR, SV, HZ), pp. 1291–1294.
ICPCICPC-2011-RothlisbergerND #named
SmartGroups: Focusing on Task-Relevant Source Artifacts in IDEs (DR, ON, SD), pp. 61–70.
CIKMCIKM-2011-DadzieUZW #information management #semantics
An integrated environment for semantic knowledge work (ASD, VSU, ZZ, PW), pp. 2529–2532.
ESEC-FSEESEC-FSE-2011-NaudziunieneBDDGP #automation #java #named #source code #verification
jStar-eclipse: an IDE for automated verification of Java programs (DN, MB, DD, MD, RG, MJP), pp. 428–431.
GTTSEGTTSE-2011-Fuhrer #static analysis
Leveraging Static Analysis in an IDE (RMF), pp. 101–158.
GTTSEGTTSE-2011-Voelter #composition
Language and IDE Modularization and Composition with MPS (MV), pp. 383–430.
ICSEICSE-2011-GenevesL #consistency #detection #xml
Inconsistent path detection for XML IDEs (PG, NL), pp. 983–985.
ICSMEICSM-2010-GuzziPD #developer #interactive
Combining micro-blogging and IDE interactions to support developers in their quests (AG, MP, AvD), pp. 1–5.
MSRMSR-2010-RobbesPL #game studies #interactive #predict
Replaying IDE interactions to evaluate and improve change prediction approaches (RR, DP, ML), pp. 161–170.
SOFTVISSOFTVIS-2010-KuhnEN #case study #visualisation
Embedding spatial software visualization in the IDE: an exploratory study (AK, DE, ON), pp. 113–122.
OOPSLAOOPSLA-2010-KatsV #declarative #language workbench #specification #spoofax
The spoofax language workbench: rules for declarative specification of languages and IDEs (LCLK, EV), pp. 444–463.
FSEFSE-2010-MyersS #dynamic analysis #user interface #using
Using dynamic analysis to create trace-focused user interfaces for IDEs (DM, MADS), pp. 367–368.
ICSEICSE-2010-BragdonRZKCKCAL #development #paradigm #user interface
Code bubbles: rethinking the user interface paradigm of integrated development environments (AB, SPR, RCZ, SK, WC, JK, CC, FA, JJLJ), pp. 455–464.
ICSEICSE-2010-DeursenMCZPG #information management #named
Adinda: a knowledgeable, browser-based IDE (AvD, AM, BC, AZ, MP, AG), pp. 203–206.
ICPCICPC-2009-RothlisbergerNDPR #configuration management #heatmap #navigation
Supporting task-oriented navigation in IDEs with configurable HeatMaps (DR, ON, SD, DP, RR), pp. 253–257.
ICSMEICSM-2009-RothlisbergerHVABNM #metric
Augmenting static source views in IDEs with dynamic metrics (DR, MH, AV, DA, WB, ON, PM), pp. 253–262.
WCREWCRE-1999-KawaguchiYUFKNI99a #automation #clone detection #detection #named
SHINOBI: A Tool for Automatic Code Clone Detection in the IDE (SK, TY, HU, KF, YK, MN, HI), pp. 313–314.
WCREWCRE-1999-RothlisbergerND99a
Autumn Leaves: Curing the Window Plague in IDEs (DR, ON, SD), pp. 237–246.
HCIHCI-VAD-2009-PohlDM #generative #multi
From Paper to Module — An Integrated Environment for Generating SCORM Compliant Moodle Courses Out of Text and Multimedia Elements (HMP, BD, JTM), pp. 196–203.
OOPSLAOOPSLA-2009-CharlesFSDV #eclipse
Accelerating the creation of customized, language-Specific IDEs in Eclipse (PC, RMF, SMSJ, ED, JJV), pp. 191–206.
ASEASE-2009-PiccioniOMS #evolution #object-oriented
An IDE-based, Integrated Solution to Schema Evolution of Object-Oriented Software (MP, MO, BM, TS), pp. 650–654.
ICSEICSE-2009-ZhangHZM #interactive #named
SmartTutor: Creating IDE-based interactive tutorials via editable replay (YZ, GH, NZ, HM), pp. 559–562.
ITiCSEITiCSE-2008-FiskerMKQ
Group work support for the BlueJ IDE (KF, DM, MK, BQ), pp. 163–168.
ITiCSEITiCSE-2008-Kolling #learning #named #object-oriented #programming #visual notation
Greenfoot: a highly graphical ide for learning object-oriented programming (MK), p. 327.
ICPCICPC-2008-RothlisbergerGN #runtime
Exploiting Runtime Information in the IDE (DR, OG, ON), pp. 63–72.
WCREWCRE-2008-Gall
Of Changes and their History: Some Ideas for Future IDEs (HG), p. 3.
WCREWCRE-2008-RothlisbergerG #representation
Representing and Integrating Dynamic Collaborations in IDEs (DR, OG), pp. 74–78.
AIIDEAIIDE-2008-VirmaniKMOR #authoring #behaviour #game studies #realtime
An Intelligent IDE for Behavior Authoring in Real-Time Strategy Games (SV, YK, MM0, SO, AR).
PEPMPEPM-2008-JancuraP #framework #integration #programming language
Generic framework for integration of programming languages into netbeans ide (JJ, DP), pp. 123–124.
ASEASE-2008-SentillesPCH #component #development #embedded #named #predict
Save-IDE: An Integrated Development Environment for Building Predictable Component-Based Embedded Systems (SS, PP, IC, JH), pp. 493–494.
LDTALDTA-2007-KlintKV08 #parametricity
Language Parametric Module Management for IDEs (PK, ATK, JJV), pp. 3–19.
CCCC-2008-RountevSX #analysis #data flow #library #object-oriented #scalability
IDE Dataflow Analysis in the Presence of Large Object-Oriented Libraries (AR, MS, G(X), pp. 53–68.
CSMRCSMR-2007-BrandBEJKKSV #legacy #maintenance #using
Using The Meta-Environment for Maintenance and Renovation (MvdB, MB, GRE, HAdJ, PK, ATK, TvdS, JJV), pp. 331–332.
ICFPICFP-2007-Frenzel #case study #experience #haskell
Experience report: building an eclipse-based IDE for Haskell (LF), pp. 220–222.
ECMFAECMDA-FA-2007-Kleppe #generative #metamodelling #towards
Towards the Generation of a Text-Based IDE from a Language Metamodel (AK), pp. 114–129.
ASEASE-2007-CharlesFS #eclipse #framework #named #platform
IMP: a meta-tooling platform for creating language-specific ides in eclipse (PC, RMF, SMSJ), pp. 485–488.
ITiCSEITiCSE-2006-CrossCH #lightweight #named
jGRASP: a lightweight IDE with dynamic object viewers for CS1 and CS2 (JHCI, TDH), p. 356.
ITiCSEITiCSE-2006-PatersonHN #design pattern
A design patterns extension for the BlueJ IDE (JHP, JH, MN), pp. 280–284.
ITiCSEITiCSE-2005-CrescenziGI #network #protocol #visualisation
NetPrIDE an integrated environment for developing and visualizing computer network protocols (PC, GG, GI), pp. 306–310.
ITiCSEITiCSE-2005-PatersonHBM #data type #using
Using the BlueJ IDE in a data structures course (JHP, JH, MB, AM), p. 349.
ICSMEICSM-2005-GuzmanPP #re-engineering
An Integrated Environment for Reengineering (IGRdG, MP, MP), pp. 165–174.
ICEISICEIS-v1-2005-MiatidisJ #workflow
Integrating Workflow Extensions into a Process-Integrated Environment for Chemical Engineering (MM, MJ), pp. 255–260.
GTTSEGTTSE-2005-Brand #asf+sdf
Applications of the Asf+Sdf Meta-Environment (MvdB), pp. 278–296.
ICSEICSE-2005-KoAM #design #elicitation #maintenance #requirements
Eliciting design requirements for maintenance-oriented IDEs: a detailed study of corrective and perfective maintenance tasks (AJK, HHA, BAM), pp. 126–135.
ITiCSEITiCSE-2004-PatersonH04a #design pattern
A proposed design patterns extension for the blueJ IDE (JHP, JH), p. 279.
CCCC-2004-LhotakLH #compilation #framework
Integrating the Soot Compiler Infrastructure into an IDE (JL, OL, LJH), pp. 281–297.
FASEFASE-2004-ChildsGRDDHJSS #analysis #component #development #named #synthesis #verification
Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems (AC, JG, VPR, XD, MBD, JH, GJ, PS, GS), pp. 160–164.
FASEFASE-2004-El-MaddahM #design #development #process #requirements
The GOPCSD Tool: An Integrated Development Environment for Process Control Requirements and Design (IAMEM, TSEM), pp. 261–266.
ITiCSEITiCSE-2003-MurrayHKMWST #case study #education #experience #java #what
Experiences with IDEs and Java teaching: what works and what doesn’t (KAM, JMH, MK, TM, PJW, NCS, JAT), pp. 215–216.
ITiCSEITiCSE-2003-PatersonH #database #education #java #object-oriented #using
Teaching Java: using an object-oriented database and the BlueJ IDE (JHP, JH), p. 273.
DocEngDocEng-2001-SampaioLC #consistency #documentation
An integrated environment for the presentation of consistent SMIL 2.0 documents (PNMS, CL, JPC), pp. 115–124.
LDTALDTA-2001-BrandDHJJKKMOSVVV #asf+sdf #component #development
The Asf+Sdf Meta-Environment: a Component-Based Language Development Environment (MvdB, AvD, JH, HAdJ, MdJ, TK, PK, LM, PAO, JS, JJV, EV, JV), pp. 3–8.
LDTALDTA-2001-LammelW #asf+sdf #syntax
Transformation of SDF syntax definitions in the ASF+SDF Meta-Environment (RL, GW), pp. 9–33.
LDTALDTA-2001-MenezesMCLR #action semantics #development #semantics
An Action Semantics Integrated Development Environment (LCdSM, HPdM, WC, FL, LR), pp. 157–160.
CCCC-2001-BrandDHJJKKMOSVVV #asf+sdf #component #development
The ASF+SDF Meta-environment: A Component-Based Language Development Environment (MvdB, AvD, JH, HAdJ, MdJ, TK, PK, LM, PAO, JS, JJV, EV, JV), pp. 365–370.
TOOLSTOOLS-ASIA-1999-AnLWJCWC #corba #framework #java
A Java/CORBA Based Universal Framework for Super Server User-End Integrated Environments (HA, HL, MW, YJ, ZC, FW, GC), pp. 336–341.
ASF+SDFASF+SDF-1997-BrandHK #asf+sdf #legacy
Renovation of the ASF+SDF meta-environment: current state of affairs (MvdB, JH, PK), p. 4.
ASF+SDFASF+SDF-1997-BrandKMO #asf+sdf #implementation #prototype
Implementation of a prototype for the new ASF+SDF meta-environment (MvdB, TK, LM, PO), p. 5.
ICSMEICSM-1996-ChenTHPRW #c++ #maintenance #named
Omega — an integrated environment for C++ program maintenance (XC, WTT, HH, MHP, SR, YW), p. 114–?.
SEKESEKE-1996-CanforaLM #c #re-engineering #reuse
An Integrated Environment for Reuse Reengineering C Code (GC, ADL, MM), pp. 214–221.
RERE-1995-MacfarlaneR #development #requirements #traceability
Requirements traceability in an integrated development environment (IAM, IR), pp. 116–127.
ASF+SDFASF+SDF-1995-Brand #asf+sdf #past present future #pretty-printing
Pretty printing in the ASF+SDF Meta-environment: Past, Present, and Future (MvdB), pp. 155–174.
ASF+SDFASF+SDF-1995-Klint #asf+sdf #evolution #implementation
The Evolution of Implementation Techniques in the ASF+SDF Meta-environment (PK), pp. 5–26.
TAPSOFTTAPSOFT-1995-BrandV #asf+sdf #documentation #exclamation #for free #tool support
The Asf+Sdf Meta-Environment Documentation Tools for Free! (MvdB, EV), pp. 803–804.
SEKESEKE-1993-LauxBC #development #specification
An Integrated Development Environment for Formal Specifications (MRL, RHB, BHCC), pp. 681–688.
CAVCAV-1992-MeryM #interactive #named #specification #verification
Crocos: An Integrated Environment for Interactive Verification of SDL Specifications (DM, AM), pp. 343–356.
HTHT-1989-JordanRJR #development #hypermedia
Facilitating the Development of Representations in Hypertext with IDE (DSJ, DMR, AMSJ, RAR), pp. 93–104.
TAPSOFTCSE-1985-BidoitC #algebra #named #specification
ASSPEGIQUE: An Integrated Environment for Algebraic Specifications (MB, CC), pp. 246–260.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.