|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCAM ![In: 2nd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2002), 1 October 2002, Montreal, Canada, pp. 105-114, 2002, IEEE Computer Society, 0-7695-1793-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IRI ![In: Proceedings of the 2005 IEEE International Conference on Information Reuse and Integration, IRI - 2005, August 15-17, 2005, Las Vegas Hilton, Las Vegas, NV, USA, pp. 78-83, 2005, IEEE Systems, Man, and Cybernetics Society, 0-7803-9093-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
78 | Franz Geiselbrechtinger, Wolfgang Hesse, Bernd Krieg, H. Scheidig |
L0, the Basic Layer of the Wide Spectrum Language L. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GI Jahrestagung ![In: Gesellschaft für Informatik e.V., 3. Jahrestagung, Hamburg, Deutschland, 8.-10. Oktober 1973, pp. 188-197, 1973, Springer, 3-540-06473-7. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP DOI BibTeX RDF |
|
66 | Martin P. Ward |
The Formal Transformation Approach to Source Code Analysis and Manipulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCAM ![In: 1st IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2001), 10 November 2001, Florence, Italy, pp. 187-195, 2001, IEEE Computer Society, 0-7695-1387-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (1) ![In: 30th Annual International Computer Software and Applications Conference, COMPSAC 2006, Chicago, Illinois, USA, September 17-21, 2006. Volume 1, pp. 205-214, 2006, IEEE Computer Society, 0-7695-2655-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 29(2), pp. 7, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR (2) ![In: 18th International Conference on Pattern Recognition (ICPR 2006), 20-24 August 2006, Hong Kong, China, pp. 711-715, 2006, IEEE Computer Society, 0-7695-2521-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 2-5 December 1997, Clear Water Bay, Hong Kong, pp. 342-, 1997, IEEE Computer Society, 0-8186-8271-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCAM ![In: 2nd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2002), 1 October 2002, Montreal, Canada, pp. 73-82, 2002, IEEE Computer Society, 0-7695-1793-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCRE ![In: 3rd Working Conference on Reverse Engineering, WCRE '96, Monterey, CA, USA, November 8-10, 1996, pp. 239-248, 1996, IEEE Computer Society, 0-8186-7674-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (1) ![In: 31st Annual International Computer Software and Applications Conference, COMPSAC 2007, Beijing, China, July 24-27, 2007. Volume 1, pp. 543-548, 2007, IEEE Computer Society, 978-0-7695-2870-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSMR ![In: 9th European Conference on Software Maintenance and Reengineering (CSMR 2005), 21-23 March 2005, Manchester, UK, Proceedings, pp. 178-187, 2005, IEEE Computer Society, 0-7695-2304-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
39 | Martin P. Ward, Hussein Zedan |
MetaWSL and Meta-Transformations in the FermaT Transformation System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (1) ![In: 29th Annual International Computer Software and Applications Conference, COMPSAC 2005, Edinburgh, Scotland, UK, July 25-28, 2005. Volume 1, pp. 233-238, 2005, IEEE Computer Society, 0-7695-2413-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
39 | Martin P. Ward |
Slicing the SCAM Mug: A Case Study in Semantic Slicing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCAM ![In: 3rd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2003), 26-27 September 2003, Amsterdam, The Netherlands, pp. 88-97, 2003, IEEE Computer Society, 0-7695-2005-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
39 | Frederick V. Ramsey, James J. Alpigini |
A Simple Mathematically Based Framework for Rule Extraction Using Wide Spectrum Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCAM ![In: 2nd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2002), 1 October 2002, Montreal, Canada, pp. 44-, 2002, IEEE Computer Society, 0-7695-1793-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
39 | Hussein Zedan, Hongji Yang |
A Sound and Practical Approach To The Re-Engineering Of Time-Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSMR ![In: 2nd Euromicro Conference on Software Maintenance and Reengineering (CSMR '98), 8-11 March 1998, Florence, Italy, pp. 220-223, 1998, IEEE Computer Society, 0-8186-8421-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
31 | Václav Skala |
Multispectral Image Generation from RGB Based on WSL Color Representation: Wavelength, Saturation, and Lightness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. ![In: Comput. 12(9), pp. 182, August 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Image Anal. ![In: Medical Image Anal. 69, pp. 101943, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Commun. Lett. ![In: IEEE Commun. Lett. 25(9), pp. 2953-2957, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2011.01421, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COLING ![In: Proceedings of the 28th International Conference on Computational Linguistics, COLING 2020, Barcelona, Spain (Online), December 8-13, 2020, pp. 5647-5654, 2020, International Committee on Computational Linguistics, 978-1-952148-27-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
31 | A. Emin Orhan |
Robustness properties of Facebook's ResNeXt WSL models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1907.07640, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
31 | Patrick Kochberger, Alexander Tauber, Sebastian Schrittwieser |
Assessment of the Transparency of the Windows Subsystem for Linux (WSL). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSSA ![In: International Conference on Software Security and Assurance, ICSSA 2019, St. Pölten, Austria, July 25-26, 2019, pp. 60-69, 2019, IEEE, 978-1-7281-5912-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PeerJ Prepr. ![In: PeerJ Prepr. 6, pp. e27211, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCV (1) ![In: Computer Vision - ECCV 2018 - 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part I, pp. 155-171, 2018, Springer, 978-3-030-01245-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1711.05282, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
31 | Doni Pracner, Zoran Budimac |
A Practical Tutorial for FermaT and WSL Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SQAMIA ![In: Proceedings of the Sixth Workshop on Software Quality Analysis, Monitoring, Improvement, and Applications, Belgrade, Serbia, September 11-13, 2017., 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
31 | Naoko Miura, Tomohiro Takagi |
WSL: Sentence Similarity Using Semantic Distance Between Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SemEval@NAACL-HLT ![In: Proceedings of the 9th International Workshop on Semantic Evaluation, SemEval@NAACL-HLT 2015, Denver, Colorado, USA, June 4-5, 2015, pp. 128-131, 2015, The Association for Computer Linguistics, 978-1-941643-40-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
31 | Doni Pracner, Zoran Budimac |
Transforming Low-level Languages Using FermaT and WSL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SQAMIA ![In: Proceedings of the 2nd Workshop on Software Quality Analysis, Monitoring, Improvement, and Applications, Novi Sad, Serbia, September 15-17, 2013., pp. 71-78, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
31 | Shan Xie, Jiaxun Chen |
Q-WSL: A Quick Web Services Lookup Model Based on Hierarchical Registration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Gener. Comput. ![In: New Gener. Comput. 22(3), pp. 221-238, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Tim Bull |
An introduction to the WSL program transformer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: Proceedings of the Conference on Software Maintenance, ICSM 1990, San Diego, CA, USA, 26-29 November, 1990, pp. 242-250, 1990, IEEE, 0-8186-2091-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Softw. Eng. ![In: Autom. Softw. Eng. 11(1), pp. 27-61, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
amorphous slicing, conditioned slicing, FermaT, transformation, WSL |
27 | Martin P. Ward |
The FermaT Assembler Re-engineering Workbench. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 2001 International Conference on Software Maintenance, ICSM 2001, Florence, Italy, November 6-10, 2001, pp. 659-662, 2001, IEEE Computer Society, 0-7695-1189-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 27th International Computer Software and Applications Conference (COMPSAC 2003): Design and Assessment of Trustworthy Software-Based Systems, 3-6 November 2003, Dallas, TX, USA, Proceedings, pp. 342-347, 2003, IEEE Computer Society, 0-7695-2020-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 26th International Computer Software and Applications Conference (COMPSAC 2002), Prolonging Software Life: Development and Redevelopment, 26-29 August 2002, Oxford, England, Proceedings, pp. 731-733, 2002, IEEE Computer Society, 0-7695-1727-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: IEEE International Conference on Web Services, ICWS 2009, Los Angeles, CA, USA, 6-10 July 2009, pp. 663-670, 2009, IEEE Computer Society, 978-0-7695-3709-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Richard C. Millham, Hongji Yang |
Domain Analysis in the Reengineering Process of a COBOL System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (2) ![In: Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2009, Seattle, Washington, USA, July 20-24, 2009. Volume 2, pp. 293-299, 2009, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCRE ![In: 9th Working Conference on Reverse Engineering (WCRE 2002), 28 October - 1 November 2002, Richmond, VA, USA, pp. 109-118, 2002, IEEE Computer Society, 0-7695-1799-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Martin P. Ward |
Program Slicing via FermaT Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 26th International Computer Software and Applications Conference (COMPSAC 2002), Prolonging Software Life: Development and Redevelopment, 26-29 August 2002, Oxford, England, Proceedings, pp. 357-362, 2002, IEEE Computer Society, 0-7695-1727-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 1996 International Conference on Software Maintenance (ICSM '96), 4-8 November 1996, Monterey, CA, USA, Proceedings, pp. 255-264, 1996, IEEE Computer Society, 0-8186-7677-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Formal methods, concurrency, reverse engineering, program transformations, type theory |
Displaying result #1 - #40 of 40 (100 per page; Change: )
|
|