The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1985-1990 (15) 1991-1998 (16) 1999-2022 (15)
Publication types (Num. hits)
article(17) book(1) incollection(1) inproceedings(25) phdthesis(2)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 30 occurrences of 29 keywords

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