Search results for "JSD"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
120	Jonathan Lee, Wei T. Huang, Cheng-Kai Chang, Jiann-I Pan	Expressing JSD in Z.	COMPSAC	1995	DBLP DOI BibTeX RDF	Informal Methods, Jackson System Development (JSD), Formal Specifications, Z, Methods Integration
92	Wing Lok Yeung	Denotational Semantics for JSD.	APSEC	1997	DBLP DOI BibTeX RDF
64	Ming-Chang Chiang, Marina Barysheva, Agatha D. Lee, Sarah K. Madsen, Andrea D. Klunder, Arthur W. Toga, Katie McMahon, Greig I. de Zubicaray, Matthew Meredith, Margaret J. Wright, Anuj Srivastava, Nikolay Balov, Paul M. Thompson	Mapping genetic influences on brain fiber architecture with high angular resolution diffusion imaging (HARDI).	ISBI	2008	DBLP DOI BibTeX RDF
50	Wing Lok Yeung, Karl R. P. H. Leung	A Synergistic Interweaving of Formal and Informal Methods.	COMPSAC	2003	DBLP DOI BibTeX RDF	Informal Methods, JSD, Formal Methods, CSP, Structured Methods, Method Integration
50	Xiping Song, Leon J. Osterweil	Experience with an Approach to Comparing Software Design Methodologies.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	software design methodologies comparison, traceable comparisons, objective comparisons, process modeling techniques, procedural aspects, method decomposition, components classification, Jackson System Development, JSD, Booch's (1986) object-oriented design, BOOD, software development approaches, software engineering, software process, object-oriented methods, modeling formalism
42	Yufeng Wang, Wendong Wang	On Studying Partial Coverage and Spatial Clustering Based on Jensen-Shannon Divergence in Sensor Networks.	APWeb Workshops	2006	DBLP DOI BibTeX RDF
42	W. L. Yeung	Semantics-Based Support Tools for High Integrity Ada Software.	Ada-Europe	1997	DBLP DOI BibTeX RDF
29	Marc Frappier, Richard St-Denis	EB 3: an entity-based black-box specification method for information systems.	Softw. Syst. Model.	2003	DBLP DOI BibTeX RDF	Trace-based specifications, Black-box specifications, JSD, Cleanroom, Patterns, Process algebra
29	B. Kouninef, M. K. Abdi, Maher K. Rahmouni	Towards an Effective and Integrated Design for Information Systems.	ITCC	2000	DBLP DOI BibTeX RDF	Statical Aspect, JSD, Validation, Rewrite Logic, Conceptual Schema, Information System design, Dynamical Aspect, NIAM
28	Stefan Balke, Julian Reck, Christof Weiß, Jakob Abeßer, Meinard Müller	JSD: A Dataset for Structure Analysis in Jazz Music.	Trans. Int. Soc. Music. Inf. Retr.	2022	DBLP DOI BibTeX RDF
28	Wonwoong Cho, Ziyu Gong, David I. Inouye	Cooperative Distribution Alignment via JSD Upper Bound.	CoRR	2022	DBLP DOI BibTeX RDF
28	Wonwoong Cho, Ziyu Gong, David I. Inouye	Cooperative Distribution Alignment via JSD Upper Bound.	NeurIPS	2022	DBLP BibTeX RDF
28	Sonia Gupta, Monika Agrawal 0002, Desh Deepak	Extraction of Adventitious Sounds from Noisy Lung Sound using VMD-KLD and VMD-JSD.	TENCON	2019	DBLP DOI BibTeX RDF
28	Stephen Ferg	Miss Grant's controller: an executable JSD specification.	ACM SIGSOFT Softw. Eng. Notes	2011	DBLP DOI BibTeX RDF
28	Wing Lok Yeung	Automated translation of JSD into CSP - a case study in methods integration.	J. Syst. Softw.	2000	DBLP DOI BibTeX RDF
28	Marc Frappier, Richard St-Denis	Combining JSD and Cleanroom for Object-Oriented Scenario Specification.	Behavioral Specifications of Businesses and Systems	1999	DBLP DOI BibTeX RDF
28	Alison Savage, John Mingers	A framework for linking Soft Systems Methodology (SSM) and Jackson System Development (JSD).	Inf. Syst. J.	1996	DBLP DOI BibTeX RDF
28	Andrew P. Bass, Bryan Ratcliff	Automated dismemberment of JSD process specifications.	Inf. Softw. Technol.	1994	DBLP DOI BibTeX RDF
28	H. Lamande, Henri Habrias	Towards a Joint Use of NIAM, JSD and Z Methods.	ORM	1994	DBLP BibTeX RDF
28	Bryan Ratcliff, Maeve Boyle	The PRESTIGE workbench: CASE support for the implementation phase of JSD.	Softw. Eng. J.	1993	DBLP DOI BibTeX RDF
28	Julian Rose	A New Rigorous Approach for Modelling and Refining Concurrent Behaviour in JSD Specifications.	Struct. Program.	1992	DBLP BibTeX RDF
28	Andrew P. Bass	The transformational implementation of JSD process specifications via finite automata representation.		1992	RDF
28	Antônio Francisco do Prado, Carlos J. P. Lucena, Julio César Sampaio do Prado Leite	Registro de Decisões e Justificativas de Desenho em Softwares Projetados com a Metodologia JSD.	SBES	1991	DBLP DOI BibTeX RDF
28	Andrew P. Bass, Maeve Boyle, Bryan Ratcliff	PRESTIGE: A CASE Workbench for the JSD Implementor.	ICSE	1991	DBLP BibTeX RDF
28	Colin T. Lewis	The realisation of JSD specifications in object oriented languages.		1991	RDF
28	M. Borgers, M. Munro	Producing better maintainable JSD specifications by grouping common aspects.	J. Softw. Maintenance Res. Pract.	1990	DBLP DOI BibTeX RDF
28	W. L. Yeung, G. Topping	Implementing JSD designs in Ada: a tutorial.	ACM SIGSOFT Softw. Eng. Notes	1990	DBLP DOI BibTeX RDF
28	M. Elizabeth C. Hull, Adib Zarea-Aliabadi, David A. Guthrie	Object-oriented design, Jackson system development (JSD) specifications and concurrency.	Softw. Eng. J.	1989	DBLP DOI BibTeX RDF
28	Anthony N. Godwin, M. B. Gore, D. W. Salt	A Comparison of JSD and DFD as Descriptive Tools.	Comput. J.	1989	DBLP DOI BibTeX RDF
28	John R. Cameron	JSP and JSD - the Jackson approach to software development (2. ed.).		1989	RDF
28	Paulo César Masiero, Fernão Stella R. Germano	JSD as an object-oriented design method.	ACM SIGSOFT Softw. Eng. Notes	1988	DBLP DOI BibTeX RDF
28	Ana Maria Ambrosio, Flávio Roberto Dias Velasco	Um Sistema para Execução de Especificações JSD.	SBES	1988	DBLP DOI BibTeX RDF
28	Ana Luzia Gonçalves Sarino	O Método JSD como Apoio à Programação Modular e Orientada a Objetos.	SBES	1988	DBLP DOI BibTeX RDF
28	Peter Kokol	Dining philosophers in JSD.	ACM SIGSOFT Softw. Eng. Notes	1987	DBLP DOI BibTeX RDF
28	John R. Cameron	An Overview of JSD.	IEEE Trans. Software Eng.	1986	DBLP DOI BibTeX RDF
28	Mario Mees, Ferdi Put	Extending a Dynamic Modelling Method Using Data Modelling Capabilities: The Case of JSD.	ER	1986	DBLP BibTeX RDF
28	Ashley T. McNeile	Jackson System Development (JSD).	Information Systems Design Methodologies: Improving the Practice	1986	DBLP BibTeX RDF
28	K. T. Sridhar, C. A. R. Hoare	JSD Expressed in CSP.	Data Types and Persistence (Appin), Informal Proceedings	1985	DBLP BibTeX RDF
28	Colin Potts, Andy Bartlett, Brian H. Cherrie, Roy MacLean	Discrete Event Simulation as a Means of Validating JSD Design Specifications.	ICSE	1985	DBLP BibTeX RDF
21	Ming-Chang Chiang, Marina Barysheva, Agatha D. Lee, Sarah K. Madsen, Andrea D. Klunder, Arthur W. Toga, Katie McMahon, Greig I. de Zubicaray, Matthew Meredith, Margaret J. Wright, Anuj Srivastava, Nikolay Balov, Paul M. Thompson	Brain Fiber Architecture, Genetics, and Intelligence: A High Angular Resolution Diffusion Imaging (HARDI) Study.	MICCAI (1)	2008	DBLP DOI BibTeX RDF
21	Yufeng Wang 0001, Wendong Wang, Kouichi Sakurai, Yoshiaki Hori	On Studying P2P Topology Construction Based on Virtual Regions and Its Effect on Search Performance.	UIC	2006	DBLP DOI BibTeX RDF
21	Rui Liao, Christoph Guetter, Chenyang Xu 0001, Yiyong Sun, Ali Khamene, Frank Sauer	Learning-Based 2D/3D Rigid Registration Using Jensen-Shannon Divergence for Image-Guided Surgery.	MIAR	2006	DBLP DOI BibTeX RDF
21	Barry McCollum, Vaughan Purnell, Patrick H. Corr, Peter Milligan	The Improvement of a Software Design Methodology by Encapsulating Knowledge from Code.	EUROMICRO	1998	DBLP DOI BibTeX RDF	Software Development Tools and Environments, Semi-Automatic Parallelisation, Neural Networks, Expert Systems, Re-engineering, Knowledge Elicitation
21	Marc Frappier, Richard St-Denis	A Specification Method for Cleanroom's Black Box Description.	HICSS (6)	1998	DBLP DOI BibTeX RDF
21	Peter Martin	The Development of an Object-Oriented, Discrete-Event Simulation Language Using Java.	APSEC	1997	DBLP DOI BibTeX RDF	Simulation, Java, Modeling, Animation, Gaming, Object-oriented, Discrete-event
21	Chris Chedgey, Seamus Kearney, Hans-Jürgen Kugler	Using VDM in an Object-Oriented Development Method for Ada Software.	VDM Europe	1987	DBLP DOI BibTeX RDF