|
|
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 |
90 | Mark Harman, Lin Hu 0005, Malcolm Munro, Xingyuan Zhang, Sebastian Danicic, Mohammed Daoudi, Lahcen Ouarbya |
An Interprocedural Amorphous Slicer for WSL. |
SCAM |
2002 |
DBLP DOI BibTeX RDF |
|
78 | Jianjun Pu, Zhuopeng Zhang, Yang Xu, Hongji Yang |
Reusing legacy COBOL code with UML collaboration diagrams via a Wide Spectrum Language. |
IRI |
2005 |
DBLP DOI BibTeX RDF |
|
78 | Franz Geiselbrechtinger, Wolfgang Hesse, Bernd Krieg, H. Scheidig |
L0, the Basic Layer of the Wide Spectrum Language L. |
GI Jahrestagung |
1973 |
DBLP DOI BibTeX RDF |
|
66 | Martin P. Ward |
The Formal Transformation Approach to Source Code Analysis and Manipulation. |
SCAM |
2001 |
DBLP DOI BibTeX RDF |
amorphous slicing, conditioned slicing, semantic slicing, Formal Methods, Transformation, Slicing, WSL |
65 | Feng Chen 0004, Hongji Yang, Bing Qiao, William Cheng-Chung Chu |
A Formal Model Driven Approach to Dependable Software Evolution. |
COMPSAC (1) |
2006 |
DBLP DOI BibTeX RDF |
Formal Method, Model Driven Architecture (MDA), Software Evolution, Model Transformation, Software Reengineering, Wide Spectrum Language (WSL) |
59 | Martin P. Ward, Hussein Zedan |
Slicing as a program transformation. |
ACM Trans. Program. Lang. Syst. |
2007 |
DBLP DOI BibTeX RDF |
FermaT, formal methods, reverse engineering, program transformation, reengineering, Slicing |
59 | Wei-Shi Zheng 0001, Jian-Huang Lai, Pong Chi Yuen |
Weakly Supervised Learning on Pre-image Problem in Kernel Methods. |
ICPR (2) |
2006 |
DBLP DOI BibTeX RDF |
|
59 | Xiaodong Liu 0001, Zhiqiang Chen, Hongji Yang, Hussein Zedan, William C. Chu |
A Design Framework for System Re-Engineering. |
APSEC |
1997 |
DBLP DOI BibTeX RDF |
real-time systems, formal methods, object orientation, re-engineering, Interval Temporal Logic, wide spectrum language |
51 | Xingyuan Zhang, Malcolm Munro, Mark Harman, Lin Hu 0005 |
Mechanized Operational Semantics of WSL. |
SCAM |
2002 |
DBLP DOI BibTeX RDF |
Computer Assisted Formal Reasoning, Program Transformation |
47 | E. J. Younger, Z. Luo, Keith H. Bennett, Tim M. Bull |
Reverse Engineering Concurrent Programs Using Formal Modelling and Analysis. |
WCRE |
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 |
46 | Feng Chen 0004, Hongji Yang |
Model Oriented Evolutionary Redocumentation. |
COMPSAC (1) |
2007 |
DBLP DOI BibTeX RDF |
Program Transformation, Model Transformation, Software Reengineering, Wide Spectrum Language (WSL), Redocumentation, Model Driven Engineering (MDE) |
39 | Martin P. Ward, Hussein Zedan, T. Hardcastle |
Conditioned Semantic Slicing via Abstraction and Refinement in FermaT. |
CSMR |
2005 |
DBLP DOI BibTeX RDF |
|
39 | Martin P. Ward, Hussein Zedan |
MetaWSL and Meta-Transformations in the FermaT Transformation System. |
COMPSAC (1) |
2005 |
DBLP DOI BibTeX RDF |
|
39 | Martin P. Ward |
Slicing the SCAM Mug: A Case Study in Semantic Slicing. |
SCAM |
2003 |
DBLP DOI BibTeX RDF |
|
39 | Frederick V. Ramsey, James J. Alpigini |
A Simple Mathematically Based Framework for Rule Extraction Using Wide Spectrum Language. |
SCAM |
2002 |
DBLP DOI BibTeX RDF |
|
39 | Hussein Zedan, Hongji Yang |
A Sound and Practical Approach To The Re-Engineering Of Time-Critical Systems. |
CSMR |
1998 |
DBLP DOI BibTeX RDF |
|
31 | Václav Skala |
Multispectral Image Generation from RGB Based on WSL Color Representation: Wavelength, Saturation, and Lightness. |
Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Chengchuang 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. |
Medical Image Anal. |
2021 |
DBLP DOI BibTeX RDF |
|
31 | Zhi Liang, Mingliang Tao, Ling Wang 0007, Jia Su, Xin Yang 0004 |
Automatic Modulation Recognition Based on Adaptive Attention Mechanism and ResNeXt WSL Model. |
IEEE Commun. Lett. |
2021 |
DBLP DOI BibTeX RDF |
|
31 | Md. Tahmid Rahman Laskar, Enamul Hoque, Jimmy Xiangji Huang |
WSL-DS: Weakly Supervised Learning with Distant Supervision for Query Focused Multi-Document Abstractive Summarization. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
31 | Md. Tahmid Rahman Laskar, Enamul Hoque, Jimmy Xiangji Huang |
WSL-DS: Weakly Supervised Learning with Distant Supervision for Query Focused Multi-Document Abstractive Summarization. |
COLING |
2020 |
DBLP DOI BibTeX RDF |
|
31 | A. Emin Orhan |
Robustness properties of Facebook's ResNeXt WSL models. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
31 | Patrick Kochberger, Alexander Tauber, Sebastian Schrittwieser |
Assessment of the Transparency of the Windows Subsystem for Linux (WSL). |
ICSSA |
2019 |
DBLP DOI BibTeX RDF |
|
31 | Ionut 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. |
PeerJ Prepr. |
2018 |
DBLP DOI BibTeX RDF |
|
31 | Mingfei Gao, Ang Li 0001, Ruichi Yu, Vlad I. Morariu, Larry S. Davis |
C-WSL: Count-Guided Weakly Supervised Localization. |
ECCV (1) |
2018 |
DBLP DOI BibTeX RDF |
|
31 | Mingfei Gao, Ang Li 0001, Ruichi Yu, Vlad I. Morariu, Larry S. Davis |
C-WSL: Count-guided Weakly Supervised Localization. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
31 | Doni Pracner, Zoran Budimac |
A Practical Tutorial for FermaT and WSL Transformations. |
SQAMIA |
2017 |
DBLP BibTeX RDF |
|
31 | Naoko Miura, Tomohiro Takagi |
WSL: Sentence Similarity Using Semantic Distance Between Words. |
SemEval@NAACL-HLT |
2015 |
DBLP DOI BibTeX RDF |
|
31 | Doni Pracner, Zoran Budimac |
Transforming Low-level Languages Using FermaT and WSL. |
SQAMIA |
2013 |
DBLP BibTeX RDF |
|
31 | Shan Xie, Jiaxun Chen |
Q-WSL: A Quick Web Services Lookup Model Based on Hierarchical Registration. |
New Gener. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Tim Bull |
An introduction to the WSL program transformer. |
ICSM |
1990 |
DBLP DOI BibTeX RDF |
|
27 | Mark Harman, Lin Hu 0005, Malcolm Munro, Xingyuan Zhang, David W. Binkley, Sebastian Danicic, Mohammed Daoudi, Lahcen Ouarbya |
Syntax-Directed Amorphous Slicing. |
Autom. Softw. Eng. |
2004 |
DBLP DOI BibTeX RDF |
amorphous slicing, conditioned slicing, FermaT, transformation, WSL |
27 | Martin P. Ward |
The FermaT Assembler Re-engineering Workbench. |
ICSM |
2001 |
DBLP DOI BibTeX RDF |
Reverse Engineering Migration, Formal Methods, Program Transformation, Legacy Systems, Comprehension, Assembler, Restructuring, Re-engineering, WSL, Wide Spectrum Language |
26 | Richard C. Millham, Martin P. Ward, Hongji Yang |
Determining Granularity of Independent Tasks for Reengineering a Legacy System into an OO System. |
COMPSAC |
2003 |
DBLP DOI BibTeX RDF |
COBOL Legacy Systems, Unified Modelling Language (UML), Reverse Engineering, Reengineering, Wide Spectrum Language (WSL) |
26 | Richard C. Millham |
An Investigation: Reengineering Sequential Procedure-Driven Software into Object-Oriented Event-Driven Software through UML Diagrams. |
COMPSAC |
2002 |
DBLP DOI BibTeX RDF |
COBOL Legacy Systems, Unified Modeling Language (UML), Reverse Engineering, Reengineering, Wide Spectrum Language (WSL) |
20 | Xubo Fei, Shiyong Lu, Cui Lin |
A MapReduce-Enabled Scientific Workflow Composition Framework. |
ICWS |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Richard C. Millham, Hongji Yang |
Domain Analysis in the Reengineering Process of a COBOL System. |
COMPSAC (2) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Mohammed Daoudi, Lahcen Ouarbya, John Howroyd, Sebastian Danicic, Mark Harman, Chris Fox, Martin P. Ward |
ConSUS: A Scalable Approach to Conditioned Slicing. |
WCRE |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Martin P. Ward |
Program Slicing via FermaT Transformations. |
COMPSAC |
2002 |
DBLP DOI BibTeX RDF |
|
20 | E. J. Younger, Z. Luo, Keith H. Bennett, Tim M. Bull |
Reverse Engineering Concurrent Programs using Formal Modelling and Analysis. |
ICSM |
1996 |
DBLP DOI BibTeX RDF |
Formal methods, concurrency, reverse engineering, program transformations, type theory |
Displaying result #1 - #40 of 40 (100 per page; Change: )
|
|