|
|
Venues (Conferences, Journals, ...)
|
|
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 |
120 | Jonathan Lee, Wei T. Huang, Cheng-Kai Chang, Jiann-I Pan |
Expressing JSD in Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 19th International Computer Software and Applications Conference (COMPSAC'95), August 9-11, 1995, Dallas, Texas, USA, pp. 62-67, 1995, IEEE Computer Society, 0-8186-7119-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Informal Methods, Jackson System Development (JSD), Formal Specifications, Z, Methods Integration |
92 | Wing Lok Yeung |
Denotational Semantics for JSD. ![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. 72-, 1997, IEEE Computer Society, 0-8186-8271-X. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISBI ![In: Proceedings of the 2008 IEEE International Symposium on Biomedical Imaging: From Nano to Macro, Paris, France, May 14-17, 2008, pp. 871-874, 2008, IEEE, 978-1-4244-2003-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
50 | Wing Lok Yeung, Karl R. P. H. Leung |
A Synergistic Interweaving of Formal and Informal Methods. ![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. 257-262, 2003, IEEE Computer Society, 0-7695-2020-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 20(5), pp. 364-384, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APWeb Workshops ![In: Advanced Web and Network Technologies, and Applications, APWeb 2006 International Workshops: XRA, IWSN, MEGA, and ICSE, Harbin, China, January 16-18, 2006, Proceedings, pp. 236-240, 2006, Springer, 3-540-31158-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
42 | W. L. Yeung |
Semantics-Based Support Tools for High Integrity Ada Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe '97, 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997, Proceedings, pp. 100-111, 1997, Springer, 3-540-63114-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
29 | Marc Frappier, Richard St-Denis |
EB 3: an entity-based black-box specification method for information systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 2(2), pp. 134-149, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITCC ![In: 2000 International Symposium on Information Technology (ITCC 2000), 27-29 March 2000, Las Vegas, NV, USA, pp. 391-397, 2000, IEEE Computer Society, 0-7695-0540-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Int. Soc. Music. Inf. Retr. ![In: Trans. Int. Soc. Music. Inf. Retr. 5(1), pp. 156-172, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Wonwoong Cho, Ziyu Gong, David I. Inouye |
Cooperative Distribution Alignment via JSD Upper Bound. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2207.02286, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Wonwoong Cho, Ziyu Gong, David I. Inouye |
Cooperative Distribution Alignment via JSD Upper Bound. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeurIPS ![In: Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, NeurIPS 2022, New Orleans, LA, USA, November 28 - December 9, 2022., 2022, 9781713871088. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TENCON ![In: TENCON 2019 - 2019 IEEE Region 10 Conference (TENCON), Kochi, India, October 17-20, 2019, pp. 1071-1075, 2019, IEEE, 978-1-7281-1895-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Stephen Ferg |
Miss Grant's controller: an executable JSD specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 36(1), pp. 1-7, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
28 | Wing Lok Yeung |
Automated translation of JSD into CSP - a case study in methods integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 55(2), pp. 193-202, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
28 | Marc Frappier, Richard St-Denis |
Combining JSD and Cleanroom for Object-Oriented Scenario Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Behavioral Specifications of Businesses and Systems ![In: Behavioral Specifications of Businesses and Systems, pp. 61-74, 1999, Springer, 978-1-4613-7383-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
28 | Alison Savage, John Mingers |
A framework for linking Soft Systems Methodology (SSM) and Jackson System Development (JSD). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. J. ![In: Inf. Syst. J. 6(2), pp. 109-129, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
28 | Andrew P. Bass, Bryan Ratcliff |
Automated dismemberment of JSD process specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Softw. Technol. ![In: Inf. Softw. Technol. 36(8), pp. 515-523, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
28 | H. Lamande, Henri Habrias |
Towards a Joint Use of NIAM, JSD and Z Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ORM ![In: Proceedings of the First International Conference on Object-Role Modelling, ORM-1, Magnetic Island, Australia, 4-6 July 1994, pp. 167-191, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
28 | Bryan Ratcliff, Maeve Boyle |
The PRESTIGE workbench: CASE support for the implementation phase of JSD. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Eng. J. ![In: Softw. Eng. J. 8(6), pp. 325-337, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
28 | Julian Rose |
A New Rigorous Approach for Modelling and Refining Concurrent Behaviour in JSD Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Struct. Program. ![In: Struct. Program. 13(1), pp. 11-22, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
28 | Andrew P. Bass |
The transformational implementation of JSD process specifications via finite automata representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBES ![In: Proceedings of the 5th Brazilian Symposium on Software Engineering, SBES 1991, Ouro Preto, MG, Brazil, October 23-25, 1991., pp. 15-29, 1991, SBC. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
28 | Andrew P. Bass, Maeve Boyle, Bryan Ratcliff |
PRESTIGE: A CASE Workbench for the JSD Implementor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 13th International Conference on Software Engineering, Austin, TX, USA, May 13-17, 1991., pp. 198-207, 1991, IEEE Computer Society / ACM Press, 0-89791-391-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
28 | Colin T. Lewis |
The realisation of JSD specifications in object oriented languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1991 |
RDF |
|
28 | M. Borgers, M. Munro |
Producing better maintainable JSD specifications by grouping common aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Softw. Maintenance Res. Pract. ![In: J. Softw. Maintenance Res. Pract. 2(1), pp. 61-80, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
28 | W. L. Yeung, G. Topping |
Implementing JSD designs in Ada: a tutorial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 15(3), pp. 25-32, 1990. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Eng. J. ![In: Softw. Eng. J. 4(2), pp. 79-86, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
28 | Anthony N. Godwin, M. B. Gore, D. W. Salt |
A Comparison of JSD and DFD as Descriptive Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. J. ![In: Comput. J. 32(3), pp. 202-211, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
28 | John R. Cameron |
JSP and JSD - the Jackson approach to software development (2. ed.). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1989 |
RDF |
|
28 | Paulo César Masiero, Fernão Stella R. Germano |
JSD as an object-oriented design method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 13(3), pp. 22-23, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
28 | Ana Maria Ambrosio, Flávio Roberto Dias Velasco |
Um Sistema para Execução de Especificações JSD. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBES ![In: Proceedings of the 2nd Brazilian Symposium on Software Engineering, SBES 1988, Canela, RS, Brazil, October 27-28, 1988., pp. 96-105, 1988, SBC. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
28 | Ana Luzia Gonçalves Sarino |
O Método JSD como Apoio à Programação Modular e Orientada a Objetos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBES ![In: Proceedings of the 2nd Brazilian Symposium on Software Engineering, SBES 1988, Canela, RS, Brazil, October 27-28, 1988., pp. 17-23, 1988, SBC. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
28 | Peter Kokol |
Dining philosophers in JSD. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 12(4), pp. 27-33, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
28 | John R. Cameron |
An Overview of JSD. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 12(2), pp. 222-240, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
28 | Mario Mees, Ferdi Put |
Extending a Dynamic Modelling Method Using Data Modelling Capabilities: The Case of JSD. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Entity-Relationship Approach: Ten Years of Experience in Information Modeling, Proceedings of the Fifth International Conference on Entity-Relationship Approach, Dijon, France, November 17-19, 1986, pp. 399-418, 1986, North-Holland, 0-444-70255-5. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
28 | Ashley T. McNeile |
Jackson System Development (JSD). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Information Systems Design Methodologies: Improving the Practice ![In: Information Systems Design Methodologies: Improving the Practice, Proceedings of the IFIP WG 8.1 Working Conference on Comparative Review of Information Systems Design Methodologies: Improving the Practice, Noordwijkerhout, The Netherlands, 5-7 May, 1986 (CRIS '86), pp. 225-246, 1986, North-Holland, 0-444-70014-5. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
28 | K. T. Sridhar, C. A. R. Hoare |
JSD Expressed in CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Types and Persistence (Appin), Informal Proceedings ![In: Data Types and Persistence, Informal Proceedings of the First Workshop on Persistent Objects, Appin, Scotland, UK, August 1985, pp. 49-82, 1985. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings, 8th International Conference on Software Engineering, London, UK, August 28-30, 1985., pp. 119-127, 1985, IEEE Computer Society, 0-8186-0620-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI (1) ![In: Medical Image Computing and Computer-Assisted Intervention - MICCAI 2008, 11th International Conference, New York, NY, USA, September 6-10, 2008, Proceedings, Part I, pp. 1060-1067, 2008, Springer, 978-3-540-85987-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UIC ![In: Ubiquitous Intelligence and Computing, Third International Conference, UIC 2006, Wuhan, China, September 3-6, 2006, Proceedings, pp. 1008-1018, 2006, Springer, 3-540-38091-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIAR ![In: Medical Imaging and Augmented Reality, MIAR 2006, Third International Workshop, Shanghai, China, August 17-18, 2006, Proceedings, pp. 228-235, 2006, Springer, 3-540-37220-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 24th EUROMICRO '98 Conference, Engineering Systems and Software for the Next Decade, 25-27 August 1998, Vesteras, Sweden, pp. 20913-20918, 1998, IEEE Computer Society, 0-8186-8646-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (6) ![In: Thirty-First Annual Hawaii International Conference on System Sciences, Kohala Coast, Hawaii, USA, January 6-9, 1998, pp. 112-121, 1998, IEEE Computer Society, 0-8186-8255-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Peter Martin |
The Development of an Object-Oriented, Discrete-Event Simulation Language Using Java. ![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. 123-130, 1997, IEEE Computer Society, 0-8186-8271-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VDM Europe ![In: VDM '87, VDM - A Formal Method at Work, VDM-Europe Symposium, Brussels, Belgium, March 23-26, 1987, Proceedings, pp. 63-76, 1987, Springer, 3-540-17654-3. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #46 of 46 (100 per page; Change: )
|
|