Demo Data from EDBT 2026 / reviewers in the wild / expert
Stephen B. Seidman
dblp:81/3921
· DBLP profile ↗
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
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Programming languages and type systems › module systems
module interconnection language |
0.0 | 1 | 1994 | A Formal Model for Module Interconnection Languages · IEEE Trans. Software Eng. 1994 |
Requirements engineering and software design
software architecture |
0.0 | 1 | 1994 | 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.0 | 1 | 1988 | Analysis of Competition-Based Spreading Activation in Connectionist Models · Int. J. Man Mach. Stud. 1988 |
Logic in computer science
formal specification |
0.0 | 1 | 1994 | 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
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2011 | Educating software engineers of the future: Software quality research through problem-based learningabstractSoftware 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&T | 3 |
| 2009 | A Requirements Engineering and Management Training Course for Software Development ProfessionalsabstractDevising 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&T | 3 |
| 2004 | Software Offshoring ?^(a) Risks and Opportunities for Software Engineering ProgramsabstractThere 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&T | 1 |
| 2003 | Industry/University Software Engineering Collaborations for the Successful Reeducation of Non-Software ProfessionalsabstractProduction 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&T | 4 |
| 2003 | Certification for Software Professionals: The IEEE Computer Society?s CSDP ProgramabstractPanel 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&T | 1 |
| 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 |
SEKE | 3 |
| 1995 | An Integrated Testing Framework for Object-Oriented Programs-Work in Progress
Shih-Sung Liao, Kai-Hsiung Chang, Stephen B. Seidman |
SEKE | 3 |
| 1994 | A Formal Model for Module Interconnection LanguagesabstractA 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 |