The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for WSL with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1973-2003 (16) 2004-2017 (15) 2018-2023 (9)
Publication types (Num. hits)
article(10) inproceedings(30)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 62 occurrences of 32 keywords

Results
Found 40 publication records. Showing 40 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
90Mark Harman, Lin Hu 0005, Malcolm Munro, Xingyuan Zhang, Sebastian Danicic, Mohammed Daoudi, Lahcen Ouarbya An Interprocedural Amorphous Slicer for WSL. Search on Bibsonomy SCAM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
78Jianjun Pu, Zhuopeng Zhang, Yang Xu, Hongji Yang Reusing legacy COBOL code with UML collaboration diagrams via a Wide Spectrum Language. Search on Bibsonomy IRI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
78Franz Geiselbrechtinger, Wolfgang Hesse, Bernd Krieg, H. Scheidig L0, the Basic Layer of the Wide Spectrum Language L. Search on Bibsonomy GI Jahrestagung The full citation details ... 1973 DBLP  DOI  BibTeX  RDF
66Martin P. Ward The Formal Transformation Approach to Source Code Analysis and Manipulation. Search on Bibsonomy SCAM The full citation details ... 2001 DBLP  DOI  BibTeX  RDF amorphous slicing, conditioned slicing, semantic slicing, Formal Methods, Transformation, Slicing, WSL
65Feng Chen 0004, Hongji Yang, Bing Qiao, William Cheng-Chung Chu A Formal Model Driven Approach to Dependable Software Evolution. Search on Bibsonomy COMPSAC (1) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Formal Method, Model Driven Architecture (MDA), Software Evolution, Model Transformation, Software Reengineering, Wide Spectrum Language (WSL)
59Martin P. Ward, Hussein Zedan Slicing as a program transformation. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF FermaT, formal methods, reverse engineering, program transformation, reengineering, Slicing
59Wei-Shi Zheng 0001, Jian-Huang Lai, Pong Chi Yuen Weakly Supervised Learning on Pre-image Problem in Kernel Methods. Search on Bibsonomy ICPR (2) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
59Xiaodong Liu 0001, Zhiqiang Chen, Hongji Yang, Hussein Zedan, William C. Chu A Design Framework for System Re-Engineering. Search on Bibsonomy APSEC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF real-time systems, formal methods, object orientation, re-engineering, Interval Temporal Logic, wide spectrum language
51Xingyuan Zhang, Malcolm Munro, Mark Harman, Lin Hu 0005 Mechanized Operational Semantics of WSL. Search on Bibsonomy SCAM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Computer Assisted Formal Reasoning, Program Transformation
47E. J. Younger, Z. Luo, Keith H. Bennett, Tim M. Bull Reverse Engineering Concurrent Programs Using Formal Modelling and Analysis. Search on Bibsonomy WCRE The full citation details ... 1996 DBLP  DOI  BibTeX  RDF transformation based approach, core kernel language, formal program transformations, type proof tools, parallel programming, reverse engineering, software maintenance, concurrent programs, formal modelling, safety critical systems, type theory, formal analysis, type checking, WSL, sequential systems
46Feng Chen 0004, Hongji Yang Model Oriented Evolutionary Redocumentation. Search on Bibsonomy COMPSAC (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Program Transformation, Model Transformation, Software Reengineering, Wide Spectrum Language (WSL), Redocumentation, Model Driven Engineering (MDE)
39Martin P. Ward, Hussein Zedan, T. Hardcastle Conditioned Semantic Slicing via Abstraction and Refinement in FermaT. Search on Bibsonomy CSMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
39Martin P. Ward, Hussein Zedan MetaWSL and Meta-Transformations in the FermaT Transformation System. Search on Bibsonomy COMPSAC (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
39Martin P. Ward Slicing the SCAM Mug: A Case Study in Semantic Slicing. Search on Bibsonomy SCAM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
39Frederick V. Ramsey, James J. Alpigini A Simple Mathematically Based Framework for Rule Extraction Using Wide Spectrum Language. Search on Bibsonomy SCAM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
39Hussein Zedan, Hongji Yang A Sound and Practical Approach To The Re-Engineering Of Time-Critical Systems. Search on Bibsonomy CSMR The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
31Václav Skala Multispectral Image Generation from RGB Based on WSL Color Representation: Wavelength, Saturation, and Lightness. Search on Bibsonomy Comput. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
31Chengchuang Lin, Gansen Zhao, Aihua Yin, Zhirong Yang, Li Guo 0019, Hanbiao Chen, Lei Zhao, Shuangyin Li, Haoyu Luo, Zhaohui Ma A novel chromosome cluster types identification method using ResNeXt WSL model. Search on Bibsonomy Medical Image Anal. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
31Zhi Liang, Mingliang Tao, Ling Wang 0007, Jia Su, Xin Yang 0004 Automatic Modulation Recognition Based on Adaptive Attention Mechanism and ResNeXt WSL Model. Search on Bibsonomy IEEE Commun. Lett. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
31Md. Tahmid Rahman Laskar, Enamul Hoque, Jimmy Xiangji Huang WSL-DS: Weakly Supervised Learning with Distant Supervision for Query Focused Multi-Document Abstractive Summarization. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
31Md. Tahmid Rahman Laskar, Enamul Hoque, Jimmy Xiangji Huang WSL-DS: Weakly Supervised Learning with Distant Supervision for Query Focused Multi-Document Abstractive Summarization. Search on Bibsonomy COLING The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
31A. Emin Orhan Robustness properties of Facebook's ResNeXt WSL models. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
31Patrick Kochberger, Alexander Tauber, Sebastian Schrittwieser Assessment of the Transparency of the Windows Subsystem for Linux (WSL). Search on Bibsonomy ICSSA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
31Ionut Iosifescu Enescu, Marielle Fraefel, Gian-Kasper Plattner, Lucia Espona-Pernas, Dominik Haas-Artho, Michael Lehning, Konrad Steffen Fostering Open Science at WSL with the EnviDat Environmental Data Portal. Search on Bibsonomy PeerJ Prepr. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
31Mingfei Gao, Ang Li 0001, Ruichi Yu, Vlad I. Morariu, Larry S. Davis C-WSL: Count-Guided Weakly Supervised Localization. Search on Bibsonomy ECCV (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
31Mingfei Gao, Ang Li 0001, Ruichi Yu, Vlad I. Morariu, Larry S. Davis C-WSL: Count-guided Weakly Supervised Localization. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
31Doni Pracner, Zoran Budimac A Practical Tutorial for FermaT and WSL Transformations. Search on Bibsonomy SQAMIA The full citation details ... 2017 DBLP  BibTeX  RDF
31Naoko Miura, Tomohiro Takagi WSL: Sentence Similarity Using Semantic Distance Between Words. Search on Bibsonomy SemEval@NAACL-HLT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
31Doni Pracner, Zoran Budimac Transforming Low-level Languages Using FermaT and WSL. Search on Bibsonomy SQAMIA The full citation details ... 2013 DBLP  BibTeX  RDF
31Shan Xie, Jiaxun Chen Q-WSL: A Quick Web Services Lookup Model Based on Hierarchical Registration. Search on Bibsonomy New Gener. Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
31Tim Bull An introduction to the WSL program transformer. Search on Bibsonomy ICSM The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
27Mark Harman, Lin Hu 0005, Malcolm Munro, Xingyuan Zhang, David W. Binkley, Sebastian Danicic, Mohammed Daoudi, Lahcen Ouarbya Syntax-Directed Amorphous Slicing. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF amorphous slicing, conditioned slicing, FermaT, transformation, WSL
27Martin P. Ward The FermaT Assembler Re-engineering Workbench. Search on Bibsonomy ICSM The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Reverse Engineering Migration, Formal Methods, Program Transformation, Legacy Systems, Comprehension, Assembler, Restructuring, Re-engineering, WSL, Wide Spectrum Language
26Richard C. Millham, Martin P. Ward, Hongji Yang Determining Granularity of Independent Tasks for Reengineering a Legacy System into an OO System. Search on Bibsonomy COMPSAC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF COBOL Legacy Systems, Unified Modelling Language (UML), Reverse Engineering, Reengineering, Wide Spectrum Language (WSL)
26Richard C. Millham An Investigation: Reengineering Sequential Procedure-Driven Software into Object-Oriented Event-Driven Software through UML Diagrams. Search on Bibsonomy COMPSAC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF COBOL Legacy Systems, Unified Modeling Language (UML), Reverse Engineering, Reengineering, Wide Spectrum Language (WSL)
20Xubo Fei, Shiyong Lu, Cui Lin A MapReduce-Enabled Scientific Workflow Composition Framework. Search on Bibsonomy ICWS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
20Richard C. Millham, Hongji Yang Domain Analysis in the Reengineering Process of a COBOL System. Search on Bibsonomy COMPSAC (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
20Mohammed Daoudi, Lahcen Ouarbya, John Howroyd, Sebastian Danicic, Mark Harman, Chris Fox, Martin P. Ward ConSUS: A Scalable Approach to Conditioned Slicing. Search on Bibsonomy WCRE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
20Martin P. Ward Program Slicing via FermaT Transformations. Search on Bibsonomy COMPSAC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
20E. J. Younger, Z. Luo, Keith H. Bennett, Tim M. Bull Reverse Engineering Concurrent Programs using Formal Modelling and Analysis. Search on Bibsonomy ICSM The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Formal methods, concurrency, reverse engineering, program transformations, type theory
Displaying result #1 - #40 of 40 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license