Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Stephen B. Seidman

dblp:81/3921 · DBLP profile ↗
← Back
11ranked-venue papers
2as first author
0since 2021 · last 2011
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Human-computer interaction and ubiquitous computing · 6 · 2 first-authorSoftware engineering, systems software and programming languages · 4Artificial intelligence and machine learning · 2Systems, architecture and hardware · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
1 paper
Requirements engineering and software design · 50% Programming languages and type systems · 50%
Artificial intelligence
1 paper
Knowledge representation and reasoning · 100%
Theoretical computer science
1 paper
Logic in computer science · 100%
Databases, data mining, and information retrieval
1 paper
Machine learning and data management · 100%

Topics — the 4 heaviest of 5, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Programming languages and type systems › module systems
module interconnection language
0.011994
A Formal Model for Module Interconnection Languages · IEEE Trans. Software Eng. 1994
Requirements engineering and software design
software architecture
0.011994
A Formal Model for Module Interconnection Languages · IEEE Trans. Software Eng. 1994
Knowledge, reasoning and agents › Knowledge representation and reasoning › cognitive modeling
spreading activation
0.011988
Analysis of Competition-Based Spreading Activation in Connectionist Models · Int. J. Man Mach. Stud. 1988
Logic in computer science
formal specification
0.011994
A Formal Model for Module Interconnection Languages · IEEE Trans. Software Eng. 1994

Methods — techniques the papers use, named apart from their topics

formal specification · 0.0z schemata · 0.0z schema · 0.0
YearPublicationVenuePosition
2011 Educating software engineers of the future: Software quality research through problem-based learning
abstract
Software Engineering graduates are expected to enter the workforce with both technical and soft skills. In addition, software quality is a topic that is becoming increasingly important both because of educational and industry requirements. Software engineering lecturers need to bring their research into the classroom. Bringing all of these together can pose the lecturer with a dilemma that is not easily solvable. This paper presents how problem-based learning, a pedagogical methodology that is popular in medicine and other disciplines, can be used to accomplish these goals in a single course module. It describes a research project which analyses the implementation of problem-based learning within a M. Sc. Software Engineering Quality Module, and evaluates the outcomes against published expectations.
Ita Richardson, Louise Reid, Stephen B. Seidman, Bob Pattinson, Yvonne Delaney
CSEE&T3
2009 A Requirements Engineering and Management Training Course for Software Development Professionals
abstract
Devising a course for software professionals working in industry depends on several factors. In order to create a course that fulfils professionals' expectations, it is important to take account of the skills of the participants, the time available, and the specific topics to be covered. This paper presents the curriculum of a course in requirements engineering and management intended for software developers with a first-level academic degree in computing and experience in developing real software solutions. This context requires the course to concentrate on topics that were not taught in the participants' previous education and that can have a positive impact on their daily practices.
João M. Fernandes 0001, Ricardo J. Machado 0001, Stephen B. Seidman
CSEE&T3
2004 Software Offshoring ?^(a) Risks and Opportunities for Software Engineering Programs
abstract
There is increasing anecdotal evidence of a move of software development projects and employment from North America and Western Europe to Asia and Eastern Europe. This panel will address the current and potential impact of such software offshoring on academic programs in software engineering.
Stephen B. Seidman, Larry Finkelstein
CSEE&T1
2003 Industry/University Software Engineering Collaborations for the Successful Reeducation of Non-Software Professionals
abstract
Production of software is growing at a phenomenal rate worldwide. In addition, the increasingly global business climate has accelerated the need for business software. There are too few software engineers to produce and maintain software to meet this demand. One possible solution to correcting this shortfall is reeducating existing non-software employees to become software engineers. For the past two years, the Industry/University (UU) subgroup of the Working Group on Software Engineering Education and Training (WGSEET) has been investigating active collaborations between companies and universities in which employees without formal software education are reeducated to become software engineers. This paper reports on our findings by discussing our approach to the investigation, outlining the factors involved in successful collaboration construction and execution, and describing alumni views of the knowledge and skills transferred by the collaboration.
Heidi J. C. Ellis, Ana María Moreno 0001, Nancy R. Mead, Stephen B. Seidman
CSEE&T4
2003 Certification for Software Professionals: The IEEE Computer Society?s CSDP Program
abstract
Panel Summary For more than twenty years, the IEEE Computer Society has played a leading role in improving the professionalism of software engineers. Its activities include development of a large collection of software engineering standards, publication of many seminal software engineering journals, texts, and reference books, co-sponsorship of undergraduate software engineering curriculum and accreditation activities, and co-sponsorship of the Software Engineering Body of Knowledge (SWEBOK) project. In 1999, the Society launched an effort to certify the knowledge of practicing software engineers. This effort led to the development of the Society’s CSDP certification examination, which was given to a test group in 2001. The examination will be offered to the public through test centers around the world in Spring 2003. The Society has also encouraged the development of face-toface and online training opportunities for prospective test-takers. These opportunities will also be available in Spring 2003.
Stephen B. Seidman, James Mason, Donald J. Bagert, J. Fernando Naveda, Ann E. Kelley Sobel, Dennis J. Frailey, Allen S. Parrish
CSEE&T1
1998 Testing object-oriented programs: from formal specification to test scenario generation
Kai-Hsiung Chang, Shih-Sung Liao, Stephen B. Seidman, Richard Chapman 0001
J. Syst. Softw.3
1996 Testing Object-Oriented Programs Based on Usage Profiles and Formal Specifications
Shih-Sung Liao, Kai-Hsiung Chang, Stephen B. Seidman
SEKE3
1995 An Integrated Testing Framework for Object-Oriented Programs-Work in Progress
Shih-Sung Liao, Kai-Hsiung Chang, Stephen B. Seidman
SEKE3
1994 A Formal Model for Module Interconnection Languages
abstract
A model is proposed that formalizes the design of hierarchical module structures. The model is specified by a collection of Z schema type definitions that is invariant across all applications. A particular application is described by specifying the values of generic parameters and adding application-specific declarations and constraints to the schema definitions. As applications, the definitions in the model are used to describe the Conic configuration language and the STILE graphical design and development environment.>
Michael D. Rice, Stephen B. Seidman
IEEE Trans. Software Eng.2
1990 The Specification of Data Parallel Algorithms
Michael D. Rice, Stephen B. Seidman, Pearl Y. Wang
J. Parallel Distributed Comput.2
1988 Analysis of Competition-Based Spreading Activation in Connectionist Models
Pearl Y. Wang, Stephen B. Seidman, James A. Reggia
Int. J. Man Mach. Stud.2