Search results for "WSL"

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