Announcements
December 2020, Dow Chemical Company renews Sequoia support contract with Semantic Designs for 6th year! Sequoia, an automated analysis tool derived from DMS, is used to reverse engineer Dow's legacy factory controller software to a Chemical Process Model. The model has been used by Dow to modernize several hundred controller systems around the world. | ||||||||||||||||||||||||||||||||||||||
November 2020, Semantic Designs releases COBOL metrics tool. 3.0. The release includes several new features including improved performance on large scale code bases in excess of 4 million lines of code. McCabe and Halstead complexity measures are collected per file, per compilation unit and per system. The Metrics tool works on most COBOL dialects including IBM Enterprise 6.3, MicroFocus, Unisys, Fujitsu and .NET COBOL dialects. | ||||||||||||||||||||||||||||||||||||||
October 2020, SD Cobol Migration achieves 100% automated conversion to C# with embedded SQL in 2 separate migration projects. | ||||||||||||||||||||||||||||||||||||||
July 2020, Semantic Designs enhances support for Asian characters sets
covered by Unicode Version 13 including China's mandated GB-18030 variant. DMS also supports:
|
Press Releases
- January 12, 2016: Semantic Designs Wins New Dow Chemical Process Control Software Reengineering Project
- December 7, 2012: Semantic Designs Successfully Completes Jovial to C Translation for Rockwell Collins
- November 16, 2012: Semantic Designs Signs Process Control Software Reengineering Contract with DOW Chemical
- October 3, 2012: Semantic Designs Wins $1M Department of Energy Phase II SBIR Grant for C++ Refactoring Engine
- Scientific Programming: Know the Science. Know the Code?
- Programs paralyzed? Parallelize!
- May 17, 2010: New Family of PHP Tools
- April 8, 2010: Test Coverage Analysis Tool for C#/.Net
- March 10, 2010: CloneDR for Rational Developer for System z
- February 22, 2010: CloneDR for IBM Enterprise COBOL
- May 11, 2009: Modernization B-2 Spirit Bomber Software Systems
- May 29, 2008: Navy awards seaport small business contract to Semantic Designs
- March 10, 2008: BizyWeb switches from Zend/IONCube to SD's Thicket obfuscators to protect BizyWeb's PHP applications
- Jun 15, 2006: Semantic Designs Wins Phase 1 SBIR to Develop Transliteration System for NGA
- June 13, 2005: Semantic Designs adds SystemC and System Verilog to Thicket™ Source Code Obfuscator family
Events
Waikiki, Honolulu, Hawaii May 21-28, 2011 |
SD is exhibiting at the conference. Drop by and see us. |
Dr. Baxter has been invited to be on the Program Committee. |
RISS 2010 Reuse Summer School Recife, Brazil November 20-24, 2010 |
Dr. Baxter has been invited to be a lecturer at the 3rd RiSE Summer School on Software Reuse, focusing on generative software reuse. |
SHARE Seattle, WA March 14-18, 2010 |
SD has been invited to give a joint presentation with IBM on our Enterprise tools for large scale software quality and refactoring. |
Super Computing '09 Portland, OR November 14-20, 2009 |
Dr. Baxter will be presenting Tuesday, 10:30 am, Room E147-148. His talk is entitled "Vector C++ : C++ and Vector Code Generation by Transformation".
|
SHARE Seattle, WA August 23-28, 2009 |
SD gave a talk entitled "Teaching Old COBOL Dogs New Tricks" |
Super Computing '08 Austin, Tx November 15-21, 2008 |
We are exhibiting in Booth 3006. |
Systems & Software Technology Conference '08 Austin, Tx 29 April-2 May, 2008 |
Dr. Ira Baxter is an invited panelist. |
Third International Workshop on Code Based Software Security Assessments (CoBaSSa 2007) October 31, 2007 |
|
|
14th Conference on Reverse Engineering |
Systems & Software Technology Conference '06 Austin, Tx 1-4 May, 2006, Salt Lake City, UT |
Architecture Driven Modernization Workshop Alexandria, VA October 24 - 27, 2005 |
|
|
2005 42nd Design Automation Conference Anaheim, CA June 13 - 16, 2005 |
We are featuring our industry standard solutions for VHDL and Verilog in Booth 501. |
Systems & Software Technology Conference Salt Lake City, UT April 18 - 21, 2005 |
Dr. Baxter, CEO of Semantic Designs, will make a presentation on "Automated Restructuring of Component-based Software". While you are there, stop by exhibits booth and see our reengineering tools! |
Government Technology Conference Southwest 2005 Austin, Texas February 2-3, 2005 |
On Wednesday, Feb 2nd from 1:30-3:00pm Ira Baxter, CEO, will talk about cost-effective Legacy Software Migrations. We'd be pleased to discuss massive software modernization or migration tasks. We also have tools to help test test and optimize software systems. Free passes available. |
International Association of Software Architects Austin, Texas January 18, 2005 |
Dr. Baxter of Semantic Designs will make a presentation on "Automated Architectural Reengineering of C++ Components". This talk will describe how massive change to the architecture of a C++ component based system was carried out for Boeing, using automated software reengineering tools. |
Third International Conference on Generative Programming and Component Engineering (co-located with OOPSLA 2004 and ISMM 2004) Vancouver, BC October 24-28, 2004 |
Semantic Designs will give a tutorial on Transformation Systems on October 24. It will also demonstrate an automated tool based on DMS for transforming C++ code comprising components in a distributed systems architecture, into another component architecture. |
Better Software Conference amd Expo San Jose, CA September 29-30, 2004 |
See our tools in our Booth at the Expo! |
2nd IEEE International Conference on Software Engineering and Formal Methods SEFM'04) Beijing, China September 26-30, 2004 |
Dr. Hongjun Zheng will give its tutorial on Transformation Systems for the first time in the Far East, at two major Universities in China. |
International Conference on Software Maintenance (ICSM'04) Chicago, IL September 11-17, 2004 |
Semantic Designs will give its tutorial on Transformation Systems. In addition, C++ program transformation tools will be shown. |
The Texas Symposium on Software Engineering Austin, TX August 27-28, 2004 |
Semantic Designs is giving a tutorial on Transformation System technology, as well as sponsoring TSSE. |
2004 Symposium on Partial Evaluation and Program Manipulation Verona, Italy August 2004 |
Dr. Larry Akers will give an invited presentation on practical applications of automated restructuring tools. The underlying technology of DMS will be sketched, and how that technology is applied to real C++ applications wlll be shown. |
2004 41st Design Automation Conference San Diego, CA June 7 - 11, 2004 |
We are introducing our IP obfuscation and embedded system testing tools to the EDA world in Booth 1430. |
STAREAST 2004
Orlando, Florida May 17-21, 2004 |
See our testing and profiling tools for C, COBOL, Java, C# and C++ in Booth 40 |
International Conference of Software Engineering Edinburgh, Scotland May 2004 |
A technical paper describing DMS facilities has been accepted. This paper details the components that comprise DMS and how they scalably interoperate to support automated software analysis and changes. |
Systems & Software Technology Conference Salt Lake City, UT April 19 - 22, 2004 |
Come see our reengineering tools in booth 823 |
Austin Software Process Improvement Network meeting Austin, Texas March 11, 2004 |
SD will present a public lecture on massive system restructuring. Dr. Ira D. Baxter will show how tools can be used to reliably and effectively automate changes to large numbers of pre-existing C++ source code components. |
Government Technology Conference 2004 Austin, Texas January 28-30, 2004 |
Come see us at GTC in booth 126. We'd be pleased to discuss massive software reengineering or migration tasks. We also have tools to help test and optimize software systems. Free passes available. |
International Conference on Software Testing, Analysis & Review Fairmont Hotel, San Jose, California October 29-30, 2003 |
Semantic Designs will be exhibiting at STARWest2003. Come talk to us about off the shelf and custom testing and quality enhancement tools. Dr. Ira D. Baxter will give a talk showing how such tools work, and how they can be customized for arbitrary tasks. |
13th International Conference on Software Quality Renaissance Dallas-Richardson Hotel Richardson, Texas October 7-8, 2003 |
Come see us as ICSQ13 and talk about how tools can support software quality. Dr. Ira D. Baxter will give a talk on DMS, automated tools for measuring and enhancing software quality. |
State of Texas Department of Information Resources Technology Today lecture Series September 5, 2003 J. J. Pickle Research Center, Austin, Texas |
SD will present
Automated Software Tools for Reengineering and Migration of Legacy Systems,
a half-day class for Texas State IT technology workers and
management. This class will cover the basic technology behind
tools that can automatically carry out customized analyses and changes to large software systems,
including migration from one host language/environment combination to others,
and present examples of how such tools can be used. |
Department of Computer and Information Sciences August 8-12, 2003 |
The UAB Computer Science department has scheduled Dr.
Ira D. Baxter to present a full-week tutorial on using the
DMS Software Reengineering Toolkit
to the entire software engineering graduate student body.
Dr. Baxter will also give a talk to the Department on "Automated Tools for Software Reengineering". |
Association of Information Technology Professionals June 11, 2003, 11 am registration MCC Auditorium, Austin, Texas |
The Association of Information Technology Professionals
provides superior leadership and education in Information Technology
for career minded individuals who seek to expand their potential.
Dr.
Ira D. Baxter will make a presentation on technology to automate the analysis, enhancement,
or reengineering of large software systems. The talk will sketch the technology and examine several
industrial examples, including massive reduction of large Java system sources and migration of a large
realtime avionics system. A Source Code Obfuscator tool will be given away as a door prize. |
EE Design Verilog Obfuscator writeup |
EEDesign is CMP Media's comprehensive source of information for electronic design tools and methodologies.
EEDesign decided that our line of obufscators for EDA languages
was interesting, and published a nice
overview of it. |
Software Technology Conference April 28-May 1, 2003 Salt Lake City |
See how SD's automated tools can be applied to defense industry
software and legacy systems at our exhibit booth #736.
We will be demonstrating our JOVIAL-to-C translator as an
example of legacy conversion capability, as well as test coverage and profiling tools
configurable for arbitrary languages.
Dr. Baxter
will speak on Automated Software Reengineering tools on Wednesday, April 30
in the Exhibit Track. |
2003 HP e3000 Solutions Symposium East: March 26-29, Valley Forge, PA West: April 23-26, San Jose, CA |
The Solution Symposium offers a multi-track training program for planning and implementing an HP e3000 migration. Dr. Ira D. Baxter will make a presentation on "Automated Tools for Migration", which will describe how highly accurate conversion tools work, and provide statistics from past ports of very large software systems. This will give the attendees some basic background for comparing migration methods and tools, |
GHRUG (HP) User Conference 2002 November 7, 2002 Houston, Texas |
GHRUG 2002 is Greater Houston Regional User's Group meeting, focused on Hewlett Packard computer system users and their needs. Dr. Ira D. Baxter will make a presentation on "Automated Tools for Porting Software". If you have an HP3000, this should be especially interesting. |
Quality Week 2002 September 3-6, 2002 San Francisco, California |
QW 2002 is the 20th in the continuing international series of Software
Quality Week Conferences that focus on advances in software test, quality
and reliabiity technology, tools and processes. Dr.
Ira D. Baxter will make a presentation on How to build
Branch Test Coverage tools for Arbitrary Programming
Languages. (Paper 8T1). He will also make a presentation
DMS: Software Quality Enhancement via Automated Software Analysis, Modification and Generation
(Session 3V2) describing automated tools. We will be pleased to demonstrate these tools
at our exhibitors' booth. |
International Conference on Software Maintenance October 3-6, 2002 Montreal, Canada |
This is the premier conference dedicated to research for defining and evaluating
new methods of software maintenance. Semantic Designs is pleased to be a
sponsor of ICSM'2002.
Dr.
Ira D. Baxter is co-Program chair for this conference, and will be
giving the Keynote talk on Parallel Support for Symbolic Analysis and Modification
for the related workshop on Source Code Analysis
and Modification.
In addition, Dr.
Michael Mehlich will be presenting Semantic Designs' popular tutorial
on
Automated Transformation Systems for Software Maintenance, Reengineering and Porting. |
International Summer School on Generative Programming June 4-7, 2002 Tampere, Finland |
Along with a number of other international experts on code generation
technologies, Dr.
Ira D. Baxter will present a number of sessions on |
Software Technology Conference April 29-May 2, 2002 Salt Lake City |
See how SD's automated tools can be applied to defense industry
software and legacy systems at our exhibit
booth #835. We will be demonstrating our JOVIAL-to-C translator as an
example of legacy conversion capability, and test coverage tools
configurable for arbitrary languages. Dr. Christopher Pidgeon will speak
on Automated
Tools for Legacy System Analysis, Enhancement and
Translation |
International Conference on Software Reuse April 15-19, 2002 Austin, Texas |
Come to the premier conference on Software Reuse to learn advanced methods and how reuse applies to automating the construction and enhancement of software in our half-day tutorial on "Transformation Systems: Generative Reuse for Software Generation, Maintenance, and Reengineering". We will be also be giving demonstrations of DMS. |
At COBOL Expo, see demonstrations of our COBOL tools for
Dr. Michael Mehlich will give the talk, Tools for Automating Massive Source Changes |